diff options
| author | HoodieJeansJordans <104365411+HoodieJeansJordans@users.noreply.github.com> | 2022-06-05 13:21:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-05 13:21:09 +0200 |
| commit | bc283424c699effcfa84816c609ca7f00ed5259a (patch) | |
| tree | ff67ced022120ae05997c1b1f3a49db992e4fcbf /makefile | |
| parent | 5692ca8c65f5f5617d6987b610e425a32c0d8e1d (diff) | |
| parent | 38d71eb97dbd8f895ed483128b332f018a5ae1d4 (diff) | |
Merge branch 'lonkaars:master' into master
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -5,4 +5,7 @@ all clean format compile_commands: $(SUBDIRS) FORCE $(SUBDIRS): FORCE $(MAKE) -C $@ $(MAKECMDGOALS) -FORCE:
\ No newline at end of file +FORCE: + +docs: + doxygen |