0.8.6.5

[sbcl.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 93fe3fb..dcdf6a7 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,8 +1,10 @@
+# Makefile for SBCL document generation
+
 DOCFILE_BASE_DEFAULT:=user-manual
 DOCFILE_EXT_DEFAULT:=xml
 
-
-# Standard docfile processing
+# Standard docfile processing as copied from UFFI
+# Placed into public domain by author Kevin Rosenberg
 
 DEBIAN=$(shell expr "`cat /etc/issue`" : '.*Debian.*')
 SUSE=$(shell expr "`cat /etc/issue`" : '.*SuSE.*')
@@ -105,9 +107,9 @@ ${TXTFILE}: ${FOFILE}
 .PHONY: clean
 clean: 
        @rm -f *~ *.bak *.orig \#*\# .\#* texput.log
-       @rm -rf html ${PSFILE} ${HTMLFILE} html-stamp
-       @rm -f ${TMPFILES} ${FOFILE}
-       @rm -f  ${DVIFILE} ${TXTFILE}
+       @rm -rf html $(PSFILE) $(HTMLFILE) $(PDFFILE) html-stamp
+       @rm -f $(TMPFILES) $(FOFILE)
+       @rm -f  $(DVIFILE) $(TXTFILE)
 
 .PHONY: distclean
 distclean: clean