diff options
Diffstat (limited to 'readline/MANIFEST.doc')
| -rw-r--r-- | readline/MANIFEST.doc | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/readline/MANIFEST.doc b/readline/MANIFEST.doc new file mode 100644 index 00000000000..ed27cb39107 --- /dev/null +++ b/readline/MANIFEST.doc @@ -0,0 +1,16 @@ +# +# Master Manifest file for documentation-only distribution +# +doc d +MANIFEST.doc f +doc/readline.ps f +doc/history.ps f +doc/readline.dvi f +doc/history.dvi f +doc/readline.info f +doc/history.info f +doc/readline.html f +doc/readline_toc.html f +doc/history.html f +doc/history_toc.html f +doc/readline.0 f |