diff options
| -rw-r--r-- | doc/src/sgml/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 5846d8ead1..23d6dbf69c 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -371,7 +371,4 @@ distclean: clean rm -f $(addprefix $(srcdir)/,*.texixml *.texi *.info db2texi.refs) maintainer-clean: distclean -# HTML - rm -rf $(addprefix $(srcdir)/,html/ html-stamp) -# man - rm -rf $(addprefix $(srcdir)/,man1/ man3/ man7/ man-stamp) + rm -rf html-stamp man-stamp |