Improve style of offline html build of website.

diff --git a/CHANGELOG b/CHANGELOG
index db291e15a3e983cb7fead74b51372d7e2bca998b..b34cfce0d7007bbf853ea1c1b23f7ebc61330ad7 100644 (file)
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -4,6 +4,7 @@ git-annex (6.20161013) UNRELEASED; urgency=medium
     when the keys database was not populated.
   * upgrade: Handle upgrade to v6 when the repository already contains
     v6 unlocked files whose content is already present.
+  * Improve style of offline html build of website.
 
  -- Joey Hess <id@joeyh.name>  Mon, 17 Oct 2016 12:46:54 -0400
 

diff --git a/Makefile b/Makefile
index da5affbfebbc81a0ad9e3b09fca8af20fdcf60d3..04d36612fdaa9b030e367b7e827e2060d08ec04e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -88,9 +88,10 @@ docs: mans
        LC_ALL=C TZ=UTC $(IKIWIKI) doc html -v --wikiname git-annex \
                --plugin=goodstuff \
                --no-usedirs --disable-plugin=openid --plugin=sidebar \
-               --underlaydir=/dev/null --set deterministic=1 \
+               --plugin theme --set theme=actiontabs --set deterministic=1 \
                --disable-plugin=shortcut --disable-plugin=smiley \
                --plugin=comments --set comments_pagespec="*" \
+               --exclude='ikiwiki/*' \
                --exclude='news/.*' --exclude='design/assistant/blog/*' \
                --exclude='bugs/*' --exclude='todo/*' --exclude='forum/*' \
                --exclude='users/*' --exclude='devblog/*' --exclude='thanks'

diff --git a/doc/bugs/Installing_from_git___58___local_doc_lacks_style.css.mdwn b/doc/bugs/Installing_from_git___58___local_doc_lacks_style.css.mdwn
index e16962b4fca8ec252ed1a07bc8e12eaeccbc3d6f..db7d4cd03007fce20535afc7e3a0f8fddbab393d 100644 (file)
--- a/doc/bugs/Installing_from_git___58___local_doc_lacks_style.css.mdwn
+++ b/doc/bugs/Installing_from_git___58___local_doc_lacks_style.css.mdwn
@@ -31,3 +31,6 @@ Doc also refers to local.css which is only comments on branchable.com anyway.
 ### Have you had any luck using git-annex before? (Sometimes we get tired of reading bug reports all day and a lil' positive end note does wonders)
 
 Been trying shortly git-annex a few times.  Considering to put some important stuff inside now (1Tb photos/videos). I love git-annex concept and believes that you Joey have the eye for details that make rock-solid software possible (I do that for a living). I've been using Unison for about 15 years. Unison is nice enough for *sync* if storage devices are mounted always on same machine in same directory.  For source code *history*, I've been relying on git with great satisfaction (and seen quite a few git repos wrecked by a missing or corrupted file in .git, good job remote repos come to the rescue).  Since git allows to change remote URLs at any time and just work, I believe git-annex will bring the best of both worlds.  Also I love your style: everything not essential is just not added, preserving efficiency. Best way for a solid system is adding only what's necessary.
+
+> Ok, I've added the ikiwiki underlay to get the style sheets.
+> [[done]] --[[Joey]]