diff Makefile.in @ 58888:e670c2342131

(info): Undo 2004-12-05 change.
author Kim F. Storm <storm@cua.dk>
date Sat, 11 Dec 2004 00:03:11 +0000
parents a4f012f491e1
children e087a0391ff8 fb79180b618d
line wrap: on
line diff
--- a/Makefile.in	Sat Dec 11 00:02:57 2004 +0000
+++ b/Makefile.in	Sat Dec 11 00:03:11 2004 +0000
@@ -719,9 +719,9 @@
 # put the info files in $(srcdir),
 # so we can do ok running make in the build dir.
 info: force-info
-	-(cd man; $(MAKE) $(MFLAGS) info)
-	-(cd lispref; $(MAKE) $(MFLAGS) info)
-	-(cd lispintro; $(MAKE) $(MFLAGS) info)
+	(cd man; $(MAKE) $(MFLAGS) info)
+	(cd lispref; $(MAKE) $(MFLAGS) info)
+	(cd lispintro; $(MAKE) $(MFLAGS) info)
 dvi:
 	(cd man; $(MAKE) $(MFLAGS) dvi)
 	(cd lispref; $(MAKE) $(MFLAGS) elisp.dvi)