From ce540b5dd404f1d5d8cf681aa30e054f3b6f0857 Mon Sep 17 00:00:00 2001
From: RIGUZZI FABRIZIO - Dipartimento di Ingegneria <rzf@cluster.(none)>
Date: Mon, 15 Mar 2010 09:51:39 +0100
Subject: [PATCH] Fixed compilation of cplint under new packages folder

---
 packages/cplint/doc/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 packages/cplint/doc/Makefile

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
+