dome-key-web/doc, branch master DomeKey website Update manual pages to latest 2018-11-22T18:25:28+00:00 Teddy Wing 2018-11-22T18:25:28+00:00 5de49e532c9efd7374c506d5ded76795b60e9c3e 






Add manual pages
2018-11-15T05:43:59+00:00

Teddy Wing

2018-11-15T05:43:59+00:00

e747622d84b2200b5316afa8bff1620cc575089d

Also a section linking to them on the home page.

Generated in the main DomeKey repository with:

    $ a2x --no-xmllint --format xhtml doc/dome-key.1.intermediate.txt
    $ a2x --no-xmllint --format xhtml doc/dome-key-mappings.7.txt

Deciding to go with the AsciiDoc CSS for now and not bother with making
these pages fit with the site's style to make things easy.





Also a section linking to them on the home page.

Generated in the main DomeKey repository with:

    $ a2x --no-xmllint --format xhtml doc/dome-key.1.intermediate.txt
    $ a2x --no-xmllint --format xhtml doc/dome-key-mappings.7.txt

Deciding to go with the AsciiDoc CSS for now and not bother with making
these pages fit with the site's style to make things easy.