diff options
Diffstat (limited to 'Makefile.doc')
| -rw-r--r-- | Makefile.doc | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Makefile.doc b/Makefile.doc deleted file mode 100644 index 02bfa55d6..000000000 --- a/Makefile.doc +++ /dev/null @@ -1,15 +0,0 @@ -SRCS=$(shell find src -name '*.c') -HEADERS=$(shell find include -name '*.h') -MDDOCS=$(shell find doc -name '*.md') - -doxygen : Doxyfile $(SRCS) $(HEADERS) $(MDDOCS) - doxygen Doxyfile - -docs : doxygen - -docserver : docs - firefox doxygen/html/index.html - -docsclean : - rm -rf doxygen -.PHONY : docserver docsclean |
