Github pages site
Latest build: June 19th. Trying to build, Jan 2022.
Still struggline with control of travis CI workflow.
To avoid triggering CI, place [skip travis] in the commit title. Various options for templating ...
Set up with Travis CI, so that travis builds html files from asciidoc. The CI should not be trigged by a pull request from the devel branch.