diff options
author | Eric Wong <e@80x24.org> | 2014-07-02 19:33:33 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2014-07-02 19:34:02 +0000 |
commit | ba5121f8c8fd603836930c5d4590ea4df70db726 (patch) | |
tree | 35c3f2c633172ab912b2795daaf659fe0106abf2 /Documentation | |
parent | b32cbbdaf2567f5ae5accfc6785e9b4bd6770b59 (diff) | |
download | public-inbox-ba5121f8c8fd603836930c5d4590ea4df70db726.tar.gz |
Even with txt2pre, the maintenance/discoverability burden is too high and lynx still uses too much memory. Unfortunately, we'll have to keep our INSTALL.html for a while longer on the server since it's linked, but not index.html!
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/include.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index 776413e6..d62128f2 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -47,7 +47,7 @@ INSTALL.html: INSTALL index.html: README $(txt2pre) -docs_html := index.html INSTALL.html +docs_html := INSTALL.html html: $(docs_html) gz_docs := $(addsuffix .gz, $(docs) $(docs_html)) rsync_docs := $(gz_docs) $(docs) $(txt) $(docs_html) |