diff options
author | Craig Silverstein <csilvers@khanacademy.org> | 2008-06-09 21:22:36 +0000 |
---|---|---|
committer | Craig Silverstein <csilvers@khanacademy.org> | 2008-06-09 21:22:36 +0000 |
commit | 0f4df54d7a8a531ad333da6dd225881fb1d47156 (patch) | |
tree | 7246a39cba0861d898cd8fb313a7c184d6362c2f /Makefile.in | |
parent | f193df33cc395e1f2792cfc9a86d2528e2cada9b (diff) | |
download | distcc-git-0f4df54d7a8a531ad333da6dd225881fb1d47156.tar.gz |
Update the html version of the man pages, based on the .1 updates.
Add include_server, which is a new man page. Update the Makefile to
know about the new man page, include it in the distribution, etc.
Also update the rpm spec to include it too.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index f18153b..9194411 100644 --- a/Makefile.in +++ b/Makefile.in @@ -362,10 +362,11 @@ conf_files = $(conf_dir)/hosts \ default_dir = packaging/RedHat/default default_files = $(default_dir)/distcc -man1_MEN = man/distcc.1 man/distccd.1 man/distccmon-text.1 man/pump.1 +man1_MEN = man/distcc.1 man/distccd.1 man/distccmon-text.1 \ + man/pump.1 man/include_server.1 man_HTML = man/distcc_1.html man/distccd_1.html man/distccmon_text_1.html \ - man/pump_1.html -MEN = $(man1_MEN) + man/pump_1.html man/include_server_1.html +MEN = $(man1_MEN) gnome_data = gnome/distccmon-gnome-icon.png \ gnome/distccmon-gnome.desktop @@ -650,6 +651,8 @@ man/distccmon_text_1.html: man/distccmon-text.1 man/pump_1.html: man/pump.1 troff2html -man "$(srcdir)"/man/pump.1 > $@ +man/include_server_1.html: man/include_server.1 + troff2html -man "$(srcdir)"/man/include_server.1 > $@ ###################################################################### ## CHECK targets for code that has been build. |