diff options
| author |  ridiculousfish <corydoras@ridiculousfish.com> | 2014-03-15 14:23:42 -0700 |
|---|---|---|
| committer | ridiculousfish <corydoras@ridiculousfish.com> | 2014-03-15 14:24:05 -0700 |
| commit | acd203840720897d015b7f5f4e8e71927e667da2 (patch) | |
| tree | 2ebea51ba03d01d029eb1fe9306168ee4a066e45 /doc_src | |
| parent | 2442ae60dba9e7120170fba7c0cb307a3609b375 (diff) | |
Remove old pager remnants, including documentation and references in the
build system
Diffstat (limited to 'doc_src')
| -rw-r--r-- | doc_src/faq.hdr | 2 | ||||
| -rw-r--r-- | doc_src/fish_pager.txt | 7 |
2 files changed, 1 insertions, 8 deletions
diff --git a/doc_src/faq.hdr b/doc_src/faq.hdr index c727dd5d..3961d1da 100644 --- a/doc_src/faq.hdr +++ b/doc_src/faq.hdr @@ -266,7 +266,7 @@ Next, do the following (assuming fish was installed to /usr/local): rm -Rf /usr/local/etc/fish /usr/local/share/fish ~/.config/fish rm /usr/local/share/man/man1/fish*.1 cd /usr/local/bin -rm -f fish mimedb fish_pager fishd fish_indent +rm -f fish mimedb fishd fish_indent </pre> */ diff --git a/doc_src/fish_pager.txt b/doc_src/fish_pager.txt deleted file mode 100644 index 9efa26b1..00000000 --- a/doc_src/fish_pager.txt +++ /dev/null @@ -1,7 +0,0 @@ -\section fish_pager fish_pager - internal command used by fish - -\subsection fish_pager-description Description - -\c fish_pager is used internally by fish. It should not be used by other -commands, as its interface is liable to change in the future. - |