docs.html: add links to nightly build of manual as well
authorPeter Korsgaard <peter@korsgaard.com>
Wed, 8 Jan 2014 16:16:24 +0000 (17:16 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Wed, 8 Jan 2014 16:16:24 +0000 (17:16 +0100)
commit1a2494d63bc12dc50e80ad0d768cea2257c047f2
tree85b74d429d98025b8be60c2e6cf4761b8422896c
parente580ce84f92e19646686901501b02f9337c50452
docs.html: add links to nightly build of manual as well

The html/pdf/text version of the manual is regenerated from current
git head every 6 hours.

Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
docs/docs.html