diff options
Diffstat (limited to 'doc/gnu_docs/Makefile.am')
-rw-r--r-- | doc/gnu_docs/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gnu_docs/Makefile.am b/doc/gnu_docs/Makefile.am index 7fdb427586..0cc922461a 100644 --- a/doc/gnu_docs/Makefile.am +++ b/doc/gnu_docs/Makefile.am @@ -1,6 +1,6 @@ ## $Id$ - 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 + |