diff options
author | Daniel Mueller <deso@posteo.net> | 2019-01-01 11:37:44 -0800 |
---|---|---|
committer | Daniel Mueller <deso@posteo.net> | 2019-01-01 11:37:44 -0800 |
commit | e77650547cf2ab410fd6fe16fc5e86cf1b0772d9 (patch) | |
tree | ab7b9184e51c3a7d3d1807376203a55345b8e4ba /rand/src/distributions | |
parent | cc3aa7f14eaec746e6718ef155a59e10c67a03fb (diff) | |
download | nitrocli-e77650547cf2ab410fd6fe16fc5e86cf1b0772d9.tar.gz nitrocli-e77650547cf2ab410fd6fe16fc5e86cf1b0772d9.tar.bz2 |
Add 'doc' Makefile target for generating PDF version of man page
This change adds a new target to the Makefile that can be used for
generating a PDF version of the man page. It also checks in the
generated file and links to it from the README.
We have also experimented with creation of an HTML version, but at least
the groff generated file is not very visually pleasing and also cannot
be linked to directly from Github. Github wants to prevent hosting of
web pages directly like this in repositories and instead promote their
Github Pages solution for that purpose. To that end they deliver content
with a Content-Type representing plain text which causes HTML to not be
rendered. PDF content, however, is rendered in-line and looks reasonable
at that.
Diffstat (limited to 'rand/src/distributions')
0 files changed, 0 insertions, 0 deletions