diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/gnu_docs/Makefile.am | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/gnu_docs/Makefile.am b/doc/gnu_docs/Makefile.am new file mode 100644 index 0000000000..ce8101cf01 --- /dev/null +++ b/doc/gnu_docs/Makefile.am @@ -0,0 +1,13 @@ +## $Id$ + +AUTOMAKE_OPTIONS = foreign + +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 |