diff options
Diffstat (limited to '')
-rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 090dcb0a9e..450d088bff 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -34,3 +34,6 @@ html_images_DATA = $(HTML_IMAGES) endif EXTRA_DIST += $(HTML_IMAGES) + +CLEANFILES = common/rtems.texi +DISTCLEANFILES = common/rtems.sed |