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