diff options
| author | fergus.henderson <fergushenderson@users.noreply.github.com> | 2009-07-22 21:39:50 +0000 |
|---|---|---|
| committer | fergus.henderson <fergushenderson@users.noreply.github.com> | 2009-07-22 21:39:50 +0000 |
| commit | 7db609e357048130e6e091cec690d69a446d118d (patch) | |
| tree | 7a3677fc6b26c22665182ef3d5f63b7ff1013ace | |
| parent | 5c6d4c304203851f7101bb05ceaec26abf362643 (diff) | |
| download | distcc-git-7db609e357048130e6e091cec690d69a446d118d.tar.gz | |
Add Makefile target "man-html" for rebuilding the (checked-in) HTML
versions of the man pages. This allows you to view the changes with
"svn diff" before running "make upload-man" which commits them.
Reviewed by Craig Silverstein.
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 4635e3e..d544966 100644 --- a/Makefile.in +++ b/Makefile.in @@ -947,11 +947,13 @@ distclean: distclean-autoconf clean ###################################################################### ## MAINTAINER targets -.PHONY: upload-man upload-dist rpm deb install-deb +.PHONY: man-html upload-man upload-dist rpm deb install-deb -upload-man: $(man_HTML) +man-html: $(man_HTML) mkdir -p doc/web/man cp -f $(man_HTML) doc/web/man + +upload-man: man-html svn commit doc/web/man # When uploading the package, we try to update the website as well. |