Merge /home/git/public/YACASL2

diff --git a/Makefile b/Makefile
index bf9dff9..f3cf097 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -21,7 +21,7 @@ build:
 gtags:
        @$(WHICH) $(GTAGS) >/dev/null && $(GTAGS) || $(ECHO) "$(GTAGS): not found"
 
-docall: doc
+docall:
        $(MAKE) -C doc all
 
 info: