diff options
Diffstat (limited to 'doc/ada_user')
-rw-r--r-- | doc/ada_user/ChangeLog | 4 | ||||
-rw-r--r-- | doc/ada_user/Makefile.am | 1 |
2 files changed, 4 insertions, 1 deletions
diff --git a/doc/ada_user/ChangeLog b/doc/ada_user/ChangeLog index 7ca718ff8a..b9fa59b5fd 100644 --- a/doc/ada_user/ChangeLog +++ b/doc/ada_user/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/ada_user/Makefile.am b/doc/ada_user/Makefile.am index 98e87abf68..df6cc42744 100644 --- a/doc/ada_user/Makefile.am +++ b/doc/ada_user/Makefile.am @@ -53,4 +53,3 @@ $(PROJECT).dvi: rtemspie.eps states.eps PDF_IMAGES = rtemspie.pdf states.pdf CLEANFILES += ada_user.info ada_user.info-? ada_user.info-?? - |