Description: Create a documentation makefile
Author: Peter Van Eynde <pvaneynd@debian.org>
Forwarded: not-needed

--- /dev/null
+++ cmucl/src/docs/Makefile
@@ -0,0 +1,19 @@
+all:
+	(cd cmu-user && make cmu-user.ps ; make cmu-user.html ; make cmu-user.info ; make cmu-user.pdf )
+	(cd internals && make design.pdf)
+	(cd interface && latex internals && latex internals && \
+	latex internals && latex toolkit && latex toolkit && latex toolkit \
+	&& dvips -o internals.ps internals.dvi \
+	&& dvips -o toolkit.ps toolkit.dvi ; true )
+
+clean:
+	(cd cmu-user && make clean)
+	(cd internals && make clean)
+	rm -f cmu-user/cmu-user.info* 2> /dev/null || true
+	rm -f interface/internals.aux \
+	      interface/internals.log \
+	      interface/internals.ps  \
+	      interface/toolkit.aux   \
+	      interface/toolkit.log   \
+	      interface/toolkit.pdf \
+	      interface/toolkit.ps
--- cmucl.orig/src/docs/cmu-user/Makefile
+++ cmucl/src/docs/cmu-user/Makefile
@@ -104,7 +104,7 @@
 clean:
 	rm -f *.log *.bbl *.blg *.ps *.pdf *.aux *.lof *.toc *.out *.ilg
 	rm -f *.vdx *.cdx *.tdx *.fdx *.idx *.cnd *.fnd *.tnd *.vnd *.haux
-	rm -f *.html *.hcnd *.htnd *.hvnd *.hfnd *.htoc
+	rm -f *.html *.hcnd *.htnd *.hvnd *.hfnd *.htoc *.css
 
 index:
 	makeindex cmu-user.tdx -o cmu-user.tnd
--- cmucl.orig/src/docs/internals/Makefile
+++ cmucl/src/docs/internals/Makefile
@@ -66,7 +66,7 @@
         -split $(HTML_SPLIT_LEVEL) -transparent -white $(MASTERFILE).tex
 
 clean distclean cvsclean :
-	-$(RM) -f *.log *.toc *.aux *.dvi *~ *.bak *.ps *.pdf core *.eps
+	-$(RM) -f *.log *.toc *.aux *.dvi *~ *.bak *.ps *.pdf core *.eps *.out
 	-$(RM) -rf design
 
 .PHONY : allformats