diff --git a/docs/Makefile.local b/docs/Makefile.local
index 0c674634..a07ab913 100644
--- a/docs/Makefile.local
+++ b/docs/Makefile.local
@@ -1,21 +1,25 @@
 sphinx/html: sql-autodoc images
 sphinx/clean: clean-sql-autodoc clean-images
 
 sql-autodoc:
 	make -C ../sql/ doc
 
 images:
 	make -C images/
 clean-images:
 	make -C images/ clean
 
 clean: clean-sql-autodoc clean-images
 clean-sql-autodoc:
 	make -C ../sql/ clean
 
+distclean: clean distclean-sql-autodoc
+distclean-sql-autodoc:
+	make -C ../sql/ distclean
+
 .PHONY: sql-autodoc clean-sql-autodoc images clean-images
 
 
 # Local Variables:
 # mode: makefile
 # End: