From ac9070f1207fe8d03f34d6cdcb10835698de4d11 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Wed, 7 Jan 2015 10:17:19 +0000 Subject: [PATCH] fix typos --- packages/cplint/Makefile.in | 5 +++-- packages/cplint/doc/Makefile | 8 -------- 2 files changed, 3 insertions(+), 10 deletions(-) delete mode 100644 packages/cplint/doc/Makefile diff --git a/packages/cplint/Makefile.in b/packages/cplint/Makefile.in index 9012b1d06..c14933da4 100644 --- a/packages/cplint/Makefile.in +++ b/packages/cplint/Makefile.in @@ -140,8 +140,9 @@ CPLINT_DOCS=\ $(CPLINT_DOCDIR)/manual.pdf \ $(CPLINT_DOCDIR)/manual.html \ $(CPLINT_DOCDIR)/manual.css \ - $(CPLINT_DOCDIR)/manual0x.png \ - $(CPLINT_DOCDIR)/Makefile + $(CPLINT_DOCDIR)/manual0x.png + +# $(CPLINT_DOCDIR)/Makefile CPLINT_LEARNING_PROGRAMS=\ $(CPLINT_SRCDIR)/em \ diff --git a/packages/cplint/doc/Makefile b/packages/cplint/doc/Makefile deleted file mode 100644 index 786d90969..000000000 --- a/packages/cplint/doc/Makefile +++ /dev/null @@ -1,8 +0,0 @@ - -manual.pdf: manual.tex manual.bbl - pdflatex manual - pdflatex manual - -manual.html: manual.tex manual.bbl - htlatex manual -