unifont-7.0.06.tar.gz

[unifont.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index b68a539dc954651d2a4472f57b6bdc9ba25f878f..7f584523f5578ecfb023c51c2cad0fea6895970a 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -16,14 +16,24 @@ OUTPUT_FILES = unifont.info unifont.txt unifont.pdf
        $(MAKEINFO) --plaintext $< -o $@
 
 .texi.pdf:
-       $(TEXI2PDF) $< > $@
+       $(TEXI2PDF) $<
 
 #
-# Comment out the "all:" line to make the documents.  The default is
-# to leave the existing unifont.info and unifont.pdf files in place,
-# in case the target system doesn't have makeinfo and texi2pdf installed.
+# The "all:" target does nothing, so that a higher-level "make" invocation
+# does not remake the texinfo files, in case the target system does not have
+# makeinfo and texi2pdf installed.
+# 
+# To rebuild the files, issue the command
+#
+#      make distclean ; make docprep ; make doc ; make clean
 #
 all:
+#
+# Type "make docprep" before typing "make doc".
+#
+docprep:
+       \rm -f $(OUTPUT_FILES)
+
 doc: $(OUTPUT_FILES)
 
 install: