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/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