diff options
author | Eric Wong <e@80x24.org> | 2019-12-15 05:02:53 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-12-15 05:02:53 +0000 |
commit | d9b5943af26d5df5f49ab5cbf9731597c6ca85df (patch) | |
tree | 9226b262f500d316e7efcee0410a28cf0aa09930 /Documentation/.gitignore | |
parent | f8b38d786942c6693662d2f998e810b2a3071719 (diff) | |
download | unicorn-d9b5943af26d5df5f49ab5cbf9731597c6ca85df.tar.gz |
Trying to install pandoc on an x86-64 Debian stable system says: > Need to get 15.2 MB of archives. > After this operation, 117 MB of additional disk space will be used. My laptop is on metered Internet nowadays and already low on disk space, so installing pandoc is not realistic. Maybe it wasn't realistic to other hackers with limited resources in the past. There's also dozens of subtly incompatible Markdown flavors out there, most of which can't really handle manpages. Anyways, roff isn't too bad and at least groff is well-documented. Updating the website now requires olddoc 1.8.0 (which is much smaller than pandoc), but I'm the only one with that burden. On the flipside more users can update and read the manpages locally without extra software, since nearly every developer's *nix system has man(1) command, unlike pandoc.
Diffstat (limited to 'Documentation/.gitignore')
-rw-r--r-- | Documentation/.gitignore | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore index 46679d6..0a3b033 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -1,5 +1,3 @@ -*.1 -*.5 -*.7 *.gz *.html +*.txt |