diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 0b09a7cd96..65155ce4c3 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -15,7 +15,7 @@ if USE_HTML html_DATA = index.html HELP.html endif -EXTRA_DIST = HELP.html rtems_header.html.in rtems_footer.html.in +EXTRA_DIST = HELP.html EXTRA_DIST += common/cpright.texi common/setup.texi \ common/treedef.tex common/rtems.texi.in |