ドキュメントの修正

[YACASL2.git] / Makefile

diff --git a/Makefile b/Makefile
index 5192135..98db658 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
-.PHONY: build check doc clean
+.PHONY: build check doc doxygen clean
+DOXYGEN = doxygen
 
 build:
        $(MAKE) -C src
@@ -9,10 +10,14 @@ check:
 doc:
        @$(MAKE) -sC doc
 
+doxygen:
+       @$(DOXYGEN)
+
 clean:
        @$(MAKE) -sC src clean
        @$(MAKE) -sC test/system/casl2 clean
        @$(MAKE) -sC test/system/comet2 clean
        @$(MAKE) -sC test/system/dumpword clean
        @$(MAKE) -sC test/unit clean
+       @rm -rf doc/doxygen/*
        @rm -f casl2 comet2 dumpword