diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -92,3 +92,16 @@ mess_detector_summary: mess_title | |||
92 | warnings=$$($(BIN)/phpmd $(PHP_SOURCE) text $$rule | wc -l); \ | 92 | warnings=$$($(BIN)/phpmd $(PHP_SOURCE) text $$rule | wc -l); \ |
93 | printf "$$warnings\t$$rule\n"; \ | 93 | printf "$$warnings\t$$rule\n"; \ |
94 | done; | 94 | done; |
95 | |||
96 | ## | ||
97 | # Targets for repository and documentation maintenance | ||
98 | # | ||
99 | # remove all unversioned files | ||
100 | clean: | ||
101 | @git clean -df | ||
102 | |||
103 | # update the local copy of the documentation | ||
104 | doc: clean | ||
105 | @rm -rf doc | ||
106 | @git clone https://github.com/shaarli/Shaarli.wiki.git doc | ||
107 | @rm -rf doc/.git | ||