diff options
Diffstat (limited to 'Maintenance')
| -rw-r--r-- | Maintenance/makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Maintenance/makefile b/Maintenance/makefile index 3f542721a..f15838178 100644 --- a/Maintenance/makefile +++ b/Maintenance/makefile @@ -89,3 +89,6 @@ validate-branch: # Validate the working branch for general release, check for placeholder documentation then build and test everything validate-release: check-documentation-placeholders validate-branch + + +.PHONY: all upgrade-doxygen make-as4-projects check-documentation-placeholders validate-branch
\ No newline at end of file |