aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile13
1 files changed, 13 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e17c8628..8f9ab9e7 100644
--- a/Makefile
+++ b/Makefile
@@ -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
100clean:
101 @git clean -df
102
103# update the local copy of the documentation
104doc: clean
105 @rm -rf doc
106 @git clone https://github.com/shaarli/Shaarli.wiki.git doc
107 @rm -rf doc/.git