Simplify man page production rule
authorYann Dirson <ydirson@free.fr>
Mon, 20 Oct 2014 09:00:01 +0000 (11:00 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Mon, 20 Oct 2014 09:00:01 +0000 (11:00 +0200)
commit6c72cc8ce61c02978073db629948400ba594cbab
treef1778801facaf9a597a13da2d3991b217f2e0074
parent85112632cec4d792fe298834b0d8ea9d38256135
Simplify man page production rule

No need for any intermediary files, and be sure not to include a
timestamp in the compressed manpage, for reproducibility concerns.
Makefile