# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1436967528 14400
# Node ID 83d08eb76182561879667a368ab74598457e2aed
# Parent  4847e3dd8e6abb85d1d1f7144bf1e3dc42372ef2
* doc/module.mk (doxyhtml-maintainer-clean): Also remove .db file.

diff -r 4847e3dd8e6a -r 83d08eb76182 doc/module.mk
--- a/doc/module.mk	Tue Jul 14 16:13:09 2015 -0400
+++ b/doc/module.mk	Wed Jul 15 09:38:48 2015 -0400
@@ -41,6 +41,7 @@
 
 doxyhtml-maintainer-clean:
 	cd doc/doxyhtml && rm -rf `ls | $(GREP) -v Doxyfile.in`
+	rm -f doc/doxygen_sqlite3.db
 
 DIRSTAMP_FILES += doc/doxyhtml/$(octave_dirstamp)