diff options
Diffstat (limited to 'doc/develenv')
-rw-r--r-- | doc/develenv/ChangeLog | 4 | ||||
-rw-r--r-- | doc/develenv/Makefile.am | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/doc/develenv/ChangeLog b/doc/develenv/ChangeLog index 9a01e78179..f7b781e223 100644 --- a/doc/develenv/ChangeLog +++ b/doc/develenv/ChangeLog @@ -1,3 +1,7 @@ +2003-12-11 Ralf Corsepius <corsepiu@faw.uni-ulm.de> + + * Makefile.am: Cosmetics. + 2003-11-26 Ralf Corsepius <corsepiu@faw.uni-ulm.de> * Makefile.am: Add *.info to CLEANFILES to accomodate diff --git a/doc/develenv/Makefile.am b/doc/develenv/Makefile.am index cced1b295e..2587da1b31 100644 --- a/doc/develenv/Makefile.am +++ b/doc/develenv/Makefile.am @@ -6,7 +6,6 @@ # $Id$ # - PROJECT = develenv EDITION = 1 @@ -38,3 +37,4 @@ $(srcdir)/utils.texi: utils.t -n "Command and Variable Index" < $< > $@ CLEANFILES += develenv.info + |