make clean/distclean also use src rather the tools/htdocs

diff --git a/Makefile b/Makefile
index e3dea3a..8d73145 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,7 @@ all:
        ${MAKE} -C./doc
 
 clean distclean:
-       ${MAKE} -C./tools/htdocs $@
+       ${MAKE} -C./src $@
        ${MAKE} -C./doc $@
        ${MAKE} -C./examples/htdocs $@
        ${MAKE} -C./test $@