diff options
| author | Teddy Wing | 2018-11-15 06:43:59 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-15 06:43:59 +0100 |
| commit | e747622d84b2200b5316afa8bff1620cc575089d (patch) | |
| tree | 1cb52b9bf71f7c92790a054f62d94d820cb70b21 /scripts/generate_500.py | |
| parent | 82f5b83490116f6ae860754f6562273e3cc1767e (diff) | |
| download | dome-key-web-e747622d84b2200b5316afa8bff1620cc575089d.tar.bz2 | |
Add manual pages
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.
Diffstat (limited to 'scripts/generate_500.py')
0 files changed, 0 insertions, 0 deletions