summaryrefslogtreecommitdiffstats
path: root/doc/ada_user/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'doc/ada_user/Makefile.am')
-rw-r--r--doc/ada_user/Makefile.am2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ada_user/Makefile.am b/doc/ada_user/Makefile.am
index d98b1cf131..a285cf00c6 100644
--- a/doc/ada_user/Makefile.am
+++ b/doc/ada_user/Makefile.am
@@ -52,3 +52,5 @@ endif
$(PROJECT).dvi: rtemspie.eps states.eps
PDF_IMAGES = rtemspie.pdf states.pdf
+
+CLEANFILES += ada_user.info ada_user.info-? ada_user.info-??