diff options
| author | Stefano Sabatini <stefasab@gmail.com> | 2012-12-17 13:39:53 +0100 |
|---|---|---|
| committer | Stefano Sabatini <stefasab@gmail.com> | 2012-12-18 00:06:17 +0100 |
| commit | 9bba683578006ca7a17cb929f16eef58b68a3e08 (patch) | |
| tree | 927880515e45be5a35107a473cfa07fef310d85a | |
| parent | f14e248783f45a698947a2ed6e2c82069db46bc8 (diff) | |
doc/Makefile: add docclean rule
This allows to clean the doc directory from the parent project dir.
The command:
make -C doc clean
does not work as long as the paths specified in doc/Makefile are relative
to the parent dir.
Also it is consitent with "testclean" and "distclean" targets.
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index e85e53b3da..b6ed791dc4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -93,6 +93,8 @@ uninstall: uninstall-man uninstall-man: $(RM) $(addprefix "$(MANDIR)/man1/",$(ALLMANPAGES)) +docclean: clean + clean:: $(RM) $(TXTPAGES) doc/*.html doc/*.pod doc/*.1 doc/*.3 $(CLEANSUFFIXES:%=doc/%) doc/avoptions_*.texi $(RM) -r doc/doxy/html |