diff options
| author | Alvaro Herrera | 2009-10-06 00:54:26 +0000 |
|---|---|---|
| committer | Alvaro Herrera | 2009-10-06 00:54:26 +0000 |
| commit | 7d3b3eedd8d49a342cb533cc31bbe5bcf1ce03be (patch) | |
| tree | 69981bbbbd04206de6df4e1552bcf540ccf14f9d | |
| parent | 4037d3f87a99262f02d2a787e9c5f60c38768a2e (diff) | |
Really unbreak maintainer-clean.
(Or rather, unbreak what the previous commit broke)
| -rw-r--r-- | doc/src/sgml/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 23d6dbf69c..8844e36b2a 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -371,4 +371,7 @@ distclean: clean rm -f $(addprefix $(srcdir)/,*.texixml *.texi *.info db2texi.refs) maintainer-clean: distclean - rm -rf html-stamp man-stamp +# HTML + rm -fr html/ html-stamp +# man + rm -rf man1/ man3/ man7/ man-stamp |