From 7b10b69031d40a41be2dc0806df33dcd66cdcd00 Mon Sep 17 00:00:00 2001 From: Badlop Date: Sat, 21 Feb 2009 09:23:42 +0000 Subject: [PATCH] Merge r1861 from trunk: * doc/Makefile: When cleaning, remove contributed_modules.tex SVN Revision: 1900 --- ChangeLog | 2 ++ doc/Makefile | 1 + 2 files changed, 3 insertions(+) diff --git a/ChangeLog b/ChangeLog index 76f144916..57c28dc45 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2009-02-21 Badlop + * doc/Makefile: When cleaning, remove contributed_modules.tex + * doc/guide.tex: Provide only an example of language option * doc/guide.html: Likewise diff --git a/doc/Makefile b/doc/Makefile index c1f35fdff..18ad53edf 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -41,6 +41,7 @@ clean: rm -f *.out rm -f *.pdf rm -f *.toc + rm contributed_modules.tex guide.html: guide.tex hevea -fix -pedantic guide.tex