diff options
| author | nodiscc <nodiscc@gmail.com> | 2015-03-15 14:21:33 +0100 |
|---|---|---|
| committer | nodiscc <nodiscc@gmail.com> | 2015-03-15 14:21:33 +0100 |
| commit | bc66d513a9aa6da9361dbfc2f0b4bf384e9597a6 (patch) | |
| tree | 204253dc05d4b21e59d10449c8d6bae551ab6e53 /Makefile | |
| parent | 4f8063b6394351749dee7fa3f5ab23cacbbd19a8 (diff) | |
| parent | 1acc87eeac036b3ccfad5553b9092899cf2ecaa0 (diff) | |
| download | Shaarli-bc66d513a9aa6da9361dbfc2f0b4bf384e9597a6.tar.gz Shaarli-bc66d513a9aa6da9361dbfc2f0b4bf384e9597a6.tar.zst Shaarli-bc66d513a9aa6da9361dbfc2f0b4bf384e9597a6.zip | |
Merge branch 'include-doc' into next
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 | ||