blob: a85d59c5e02a0f61930d8fd5d35b59c9fdcd7772 (
plain) (
tree)
|
|
--- Makefile.in.orig Sat Sep 4 05:21:32 1999
+++ Makefile.in Wed Mar 15 23:46:41 2000
@@ -118,7 +118,7 @@
(cd Extensions; $(MAKE) install prefix=$(root)$(prefix))
(cd Demos; $(MAKE) install root=$(root))
(cd Help; $(MAKE) install prefix=$(root)$(prefix))
- (cd Doc; $(MAKE) install prefix=$(root)$(prefix))
+ (cd Doc; $(MAKE) install.man prefix=$(root)$(prefix))
(cd Stack; $(MAKE) install prefix=$(root)$(prefix))
install.libs:
|
