doc-cleaner.patch

text/x-diff

Filename: doc-cleaner.patch

Type: text/x-diff

Part: 0

Message: Re: duplicate "median" entry in doc

Patch

Format: unified

File	+	−
doc/src/sgml/Makefile	1	1

diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
index fe7ca65..897c9c9 100644
--- a/doc/src/sgml/Makefile
+++ b/doc/src/sgml/Makefile
@@ -410,6 +410,6 @@ distclean: clean
 
 maintainer-clean: distclean
 # HTML
-	rm -fr html/ html-stamp
+	rm -fr html/ html-stamp oldhtml-stamp
 # man
 	rm -rf man1/ man3/ man7/ man-stamp