From a11343bae268c50a983ce6defa2533bed2f1da7c Mon Sep 17 00:00:00 2001
From: freesource <freesource>
Date: Sat, 6 Oct 2001 19:12:41 +0000
Subject: [PATCH] This adds boot_root.4.

---
 Makefile     | 2 +-
 Makefile.pkg | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 0ac5ffe..bdfcb72 100644
--- a/Makefile
+++ b/Makefile
@@ -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:
diff --git a/Makefile.pkg b/Makefile.pkg
index 1aa7eea..b6760b8 100644
--- 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