X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=Makefile;h=4f9743e726f6b6d96c0efb215955a71e543b501c;hp=5192135045326b06c042f2381407490cba14c716;hb=bd1ff7ff1d0c87b079abf0b9c59f27783e3cad07;hpb=fa3434904e564058a948eaeb0ade3c017f3032b6

diff --git a/Makefile b/Makefile
index 5192135..4f9743e 100644
--- 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,6 +10,9 @@ check:
 doc:
 	@$(MAKE) -sC doc
 
+doxygen:
+	@(DOXYGEN)
+
 clean:
 	@$(MAKE) -sC src clean
 	@$(MAKE) -sC test/system/casl2 clean