diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/ada_user/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/ada_user/Makefile.am b/doc/ada_user/Makefile.am index 98e87abf68..df6cc42744 100644 --- a/doc/ada_user/Makefile.am +++ b/doc/ada_user/Makefile.am @@ -53,4 +53,3 @@ $(PROJECT).dvi: rtemspie.eps states.eps PDF_IMAGES = rtemspie.pdf states.pdf CLEANFILES += ada_user.info ada_user.info-? ada_user.info-?? - |