diff options
Diffstat (limited to 'doc/user')
-rw-r--r-- | doc/user/ChangeLog | 4 | ||||
-rw-r--r-- | doc/user/Makefile.am | 1 |
2 files changed, 4 insertions, 1 deletions
diff --git a/doc/user/ChangeLog b/doc/user/ChangeLog index 670c425ea5..216dc90ef2 100644 --- a/doc/user/ChangeLog +++ b/doc/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/user/Makefile.am b/doc/user/Makefile.am index 9db65da340..1869ef34b1 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -164,4 +164,3 @@ 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-?? - |