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