diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/gnu_docs/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/gnu_docs/Makefile.am b/doc/gnu_docs/Makefile.am index b4c2f4f3d6..7fdb427586 100644 --- a/doc/gnu_docs/Makefile.am +++ b/doc/gnu_docs/Makefile.am @@ -1,6 +1,5 @@ ## $Id$ -AUTOMAKE_OPTIONS = foreign 1.5 EXTRA_DIST = gnu_footer.html mk_install_dir Tool_Doc_Instructions \ gnu_header.html refcard.html gen_docs index.html rtems_tools_index.html \ |