web: Do not build an index.
authorWerner Koch <wk@gnupg.org>
Tue, 19 Jul 2016 13:07:54 +0000 (15:07 +0200)
committerWerner Koch <wk@gnupg.org>
Tue, 19 Jul 2016 13:07:54 +0000 (15:07 +0200)
commit76f96e5358fa26ff602e41e8acb995692e69eefb
treeed56b857b8affc74d180c3bdf12ea7192b57a9fa
parent9a0bed8d819c72535b4368e1c7f9b53bdffe3043
web: Do not build an index.

* tools/build-website.sh: Disable VC backends.
* web/share/gpgweb.el (gpgweb-setup-project): Do not build the index.
--

The index requires an change in org-mode because our goal is to be
able to build from a read-only checkout.  Even w/o the index there is
still a problem building it because our use of org-publish-find-title
in gpgweb-postprocess-html results in an access to a killed buffer if
the checkout is read-only.

The actual plan is to build the web site from a script which delegates
the actual building to a separate user with limited permissions.
After the building the rendered files are copied to the web server
dir.  The command to run the rendering will be

  userv otheruser gpgweb-render

with the userv script for otheruser

=============================================
If ( glob calling-user myuser
     & glob service gpgweb-render
   )
       reset
       suppress-args
       cd /home/wk/s
       execute /home/myuser/bin/build-www.gnupg.org.sh --render
else
       error Nothing to do for this user and service
fi
quit
=============================================
tools/build-website.sh
web/share/gpgweb.el