--- ccx-1.2/doc/Makefile.old	1970-01-01 01:00:00.000000000 +0100
+++ ccx-1.2/doc/Makefile	2004-07-25 11:43:46.847888536 +0200
@@ -0,0 +1,24 @@
+#
+# Makefile for building the documentation.
+#
+
+all: ccx.pdf
+
+%.pdf: %.ps
+	ps2pdf - - < $< > $@
+
+%.ps: %.dvi
+	dvips -o $@ $< 
+
+# Run latex three times: first to generate the aux & toc files
+#	at the end of the 2nd run latex complains about incorrect
+#	references, and after the 3rd run it's happy.
+%.dvi: %.tex
+	latex $<
+	echo "XXXX 2nd run XXXX"
+	latex $<
+	echo "XXXX 3nd run XXXX"
+	latex $<
+
+clean:
+	rm -f ccx.{pdf,dvi,ps}