diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2021-02-24 12:23:01 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2021-02-24 12:23:05 -0800 |
commit | 5595a70bd5a73e4acaef3af6157aa50274721669 (patch) | |
tree | 7e806e6a832930989e032a2195fe1ac7e339da45 /dives/ostc_00173_17-08-2013_027m_043min.dive | |
parent | a651bb4550c24c5c4f8656e4ed0a21c9c0a400dc (diff) | |
download | subsurface-5595a70bd5a73e4acaef3af6157aa50274721669.tar.gz |
documentation: automate creation of web facing manuals
We already had the script to post-process the HTML files in the repo,
but we didn't automate use of that script in the Makefile. The .wp
suffix is misleading and historical (we no longer us WordPress), but
it's what I am used to and I didn't come up with something more obvious
or better.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'dives/ostc_00173_17-08-2013_027m_043min.dive')
0 files changed, 0 insertions, 0 deletions