This adds boot_root.4.

24 years ago · a11343bae2
2 changed files with 2 additions and 2 deletions
--- a/2
+++ b/2
@ -22,7 +22,7 @@ install:
 	install -d /usr/X11R6/include/X11/pixmaps
 	cp -fa gbootroot.xpm /usr/X11R6/include/X11/pixmaps/gbootroot.xpm
 	install -d /usr/share/doc/gbootroot/html/images
-	cp -fa doc/html/*html /usr/share/doc/gbootroot/html
+	cp -fa doc/html/{*html,*4} /usr/share/doc/gbootroot/html
 	cp -fa doc/html/images/* /usr/share/doc/gbootroot/html/images

 remove:
--- a/Makefile.pkg
+++ b/Makefile.pkg
@ -19,7 +19,7 @@ install:
 	install -d $(DESTDIR)/usr/X11R6/include/X11/pixmaps
 	cp -fa gbootroot.xpm $(DESTDIR)/usr/X11R6/include/X11/pixmaps/gbootroot.xpm
 	install -d $(DESTDIR)/usr/share/doc/gbootroot/html/images	
-	cp -fa doc/html/*html $(DESTDIR)/usr/share/doc/gbootroot/html
+	cp -fa doc/html/{*html,*4} $(DESTDIR)/usr/share/doc/gbootroot/html
 	cp -fa doc/html/images/* $(DESTDIR)/usr/share/doc/gbootroot/html/images