diff options
Diffstat (limited to 'readline/MANIFEST.doc')
| -rw-r--r-- | readline/MANIFEST.doc | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/readline/MANIFEST.doc b/readline/MANIFEST.doc deleted file mode 100644 index ed27cb39107..00000000000 --- a/readline/MANIFEST.doc +++ /dev/null @@ -1,16 +0,0 @@ -# -# 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 |