History log of /seL4-camkes-master/tools/cogent/cogent/scripts/man-gen.pl
Revision Date Author Comments
# 423513eb 29-Jan-2020 Jashank Jeremy <jashank.jeremy@unsw.edu.au>

cogent build: in `man-gen.pl', use a 2020 CSIRO copyright.

Suggested-by: Zilin Chen <zilin.chen@data61.csiro.au>

[skip ci][skip lemma]


# cd3d0c06 28-Jan-2020 Jashank Jeremy <jashank.jeremy@unsw.edu.au>

cogent build: Rewrite `man-gen.pl'.

* Use `-mdoc', the 'new' manual-page formatting language, not the
vintage `-man'; and, take advantage of Perl being here to make it
slightly easier to write (by dropping blank lines).

* Don't ask the system for the date; use Perl instead.

* Clean up argument handling.

* Ensure target directory exists before writing files to there.

* Parse the Cogent help text linewise, instead of holding onto it and
manipulating it in-place.

* Add a link to the Cogent docsite.


# b2b3ab42 15-Jan-2017 Zilin Chen <Zilin.Chen@data61.csiro.au>

man: `cabal install' generates manpage for Cogent