1 This website code is part of a larger system, and hence the funny
2 looking PHP syntax. It is coded this way in order to easily
3 plugin to that system, but the content is included in this
4 tarball so at least the docs are available.
6 Some simple function stubs are provided to turn this into static
7 web pages if you have PHP installed. Just run static.sh,
8 then point your browser at the resulting index.html.