diff doc/interpreter/Makefile.in @ 3364:fac05a83b4c5

[project @ 1999-11-20 03:05:42 by jwe]
author jwe
date Sat, 20 Nov 1999 03:05:45 +0000
parents ce3372c4cf0d
children c4ba3cada9cb
line wrap: on
line diff
--- a/doc/interpreter/Makefile.in	Fri Nov 19 21:57:37 1999 +0000
+++ b/doc/interpreter/Makefile.in	Sat Nov 20 03:05:45 1999 +0000
@@ -76,10 +76,11 @@
 	$(MAKE) -C $(dir $@) $(notdir $@)
 
 %.texi : %.txi
-	./munge-texi \
+	@echo making $@ from $<
+	@./munge-texi \
 	  -d $(TOPDIR)/src/DOCSTRINGS \
 	  -d $(TOPDIR)/scripts/DOCSTRINGS < $< > $@.t
-	mv $@.t $@
+	@mv $@.t $@
 
 octave.info: $(MAIN_TEXINFO) $(SUB_TEXINFO) ../conf.texi
 	-makeinfo -I$(srcdir) -I$(srcdir)/.. $<