"clean" target, added extensions dir; also added "realclean" target

diff --git a/website/Makefile b/website/Makefile
index 1cb0dc15d5a7b3382a7a03c4d3e8289892ab2d5d..593675733600e293b60dc471d7c59039c80a0926 100644 (file)
--- a/website/Makefile
+++ b/website/Makefile
@@ -52,5 +52,9 @@ else
 endif
 
 clean:
+       make -C extensions clean
        make -C example clean
        make -C example TEXTONLY=1 clean
+
+realclean: clean
+       make -C extensions realclean