diff options
Diffstat (limited to '')
-rw-r--r-- | doc/user/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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-?? + |