diff options
| -rw-r--r-- | Makefile.unix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.unix b/Makefile.unix index 9c17141a3..e78e61ec2 100644 --- a/Makefile.unix +++ b/Makefile.unix @@ -16,6 +16,10 @@ # # To clean, invoke as above, with the 'clean' target # +# To build developer Doxygen generated documentation, invoke as above, +# with the 'docs' target: +# make -f Makefile.unix docs +# all: all-program @@ -214,3 +218,6 @@ $(eval $(foreach SOURCE,$(filter %.s,$(SOURCES)), \ clean: $(CLEANS) + +docs: + doxygen Docs/Doxyfile |