aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authornodiscc <nodiscc@gmail.com>2015-03-07 14:50:31 +0100
committernodiscc <nodiscc@gmail.com>2015-03-14 18:40:11 +0100
commit1acc87eeac036b3ccfad5553b9092899cf2ecaa0 (patch)
tree7d836f7d7a1fb498f04c96b81b81efd8da808002 /Makefile
parent3ef1da28e8cc5afcfe58be067e7e60528ce72f1a (diff)
downloadShaarli-1acc87eeac036b3ccfad5553b9092899cf2ecaa0.tar.gz
Shaarli-1acc87eeac036b3ccfad5553b9092899cf2ecaa0.tar.zst
Shaarli-1acc87eeac036b3ccfad5553b9092899cf2ecaa0.zip
Include documentation/wiki locally:
* sync current wiki (https://github.com/shaarli/Shaarli/wiki) to the doc/ directory * fix missing logo in README * add link to local documentation in the page footer * add Makefile targets for doc generation by @virtualtam
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