diff options
author | David Adam <zanchey@ucc.gu.uwa.edu.au> | 2015-07-19 21:04:24 +0800 |
---|---|---|
committer | David Adam <zanchey@ucc.gu.uwa.edu.au> | 2015-07-23 14:35:35 +0800 |
commit | 6c668868e95fafb730552fd7567a0a6e3786c368 (patch) | |
tree | 55be41cae611244336f44a8e975eda1d8a84f357 /doc_src/faq.hdr | |
parent | 6add8a7df90899e28d317b399e1196a56f24fbb6 (diff) |
death of mimedb: remove mimedb from the tree
Diffstat (limited to 'doc_src/faq.hdr')
-rw-r--r-- | doc_src/faq.hdr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_src/faq.hdr b/doc_src/faq.hdr index 75e4bb74..03d1983f 100644 --- a/doc_src/faq.hdr +++ b/doc_src/faq.hdr @@ -212,7 +212,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_indent +rm -f fish fish_indent \endfish \htmlonly[block] |