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

Index: b/src/docs/Makefile
===================================================================
--- /dev/null	1970-01-01 00:00:00.000000000 +0000
+++ b/src/docs/Makefile	2011-12-06 09:05:40.360211830 +0000
@@ -0,0 +1,13 @@
+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
+
Index: b/src/docs/cmu-user/Makefile
===================================================================
--- a/src/docs/cmu-user/Makefile	2011-12-06 09:05:31.531799980 +0000
+++ b/src/docs/cmu-user/Makefile	2011-12-06 09:05:40.368215830 +0000
@@ -102,9 +102,9 @@
 
 
 clean:
-	rm -f *.log *.bbl *.blg *.ps *.pdf *.aux *.lof *.toc *.gif *.out *.ilg
+	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
Index: b/src/docs/internals/Makefile
===================================================================
--- a/src/docs/internals/Makefile	2011-12-06 09:05:31.531799980 +0000
+++ b/src/docs/internals/Makefile	2011-12-06 09:05:40.368215830 +0000
@@ -57,7 +57,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