diff --git a/packages/cplint/doc/Makefile b/packages/cplint/doc/Makefile
new file mode 100644
index 000000000..786d90969
--- /dev/null
+++ b/packages/cplint/doc/Makefile
@@ -0,0 +1,8 @@
+
+manual.pdf: manual.tex manual.bbl
+	pdflatex manual
+	pdflatex manual
+
+manual.html: manual.tex manual.bbl
+	htlatex manual
+