diff options
Diffstat (limited to 'doc/gnu_docs')
| -rw-r--r-- | doc/gnu_docs/Makefile.am | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/doc/gnu_docs/Makefile.am b/doc/gnu_docs/Makefile.am index ce8101cf01..b913a36fad 100644 --- a/doc/gnu_docs/Makefile.am +++ b/doc/gnu_docs/Makefile.am @@ -1,13 +1,7 @@ ## $Id$ -AUTOMAKE_OPTIONS = foreign +AUTOMAKE_OPTIONS = foreign 1.4 -EXTRA_DIST = \ -gnu_footer.html \ -mk_install_dir \ -Tool_Doc_Instructions \ -gnu_header.html \ -refcard.html \ -gen_docs \ -index.html \ -rtems_tools_index.html
\ No newline at end of file +EXTRA_DIST = gnu_footer.html mk_install_dir Tool_Doc_Instructions \ + gnu_header.html refcard.html gen_docs index.html rtems_tools_index.html \ + gen_docs |