diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2016-10-18 17:20:27 -0700 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-10-20 20:06:44 +0100 |
commit | e554077044924a54f12b777de972255a464ea270 (patch) | |
tree | 120d3c8634dfc77b6d03229ec8676142c3f0a5ed /.gitignore | |
parent | 78e5dd0ee7b99e4904822723cdf73245b24a2d83 (diff) |
Makefile: build and clean prospective *.7.pod
Build the pod section 7 manpages in "make all"; and install them,
There aren't any yet, so this does nothing.
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions