diff options
Diffstat (limited to 'doc/ada_user/Makefile.am')
-rw-r--r-- | doc/ada_user/Makefile.am | 2 |
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-?? |