diff options
Diffstat (limited to 'doc/user')
-rw-r--r-- | doc/user/ChangeLog | 4 | ||||
-rw-r--r-- | doc/user/Makefile.am | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/doc/user/ChangeLog b/doc/user/ChangeLog index 4d63f22696..670c425ea5 100644 --- a/doc/user/ChangeLog +++ b/doc/user/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/user/Makefile.am b/doc/user/Makefile.am index 9f040111c4..9db65da340 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -6,7 +6,6 @@ # $Id$ # - PROJECT = c_user EDITION = 1 @@ -165,3 +164,4 @@ EXTRA_DIST = bsp.t concepts.t clock.t datatypes.t conf.t dpmem.t event.t \ $(EPS_IMAGES) $(noinst_DATA) CLEANFILES += c_user.info c_user.info-? c_user.info-?? + |