diff options
author | Morris Jobke <hey@morrisjobke.de> | 2018-01-30 19:09:31 +0300 |
---|---|---|
committer | Julius Härtl <jus@bitgrid.net> | 2018-01-30 19:19:38 +0300 |
commit | 78e6e809fc4fec4c8059a919d4539cc315ccdd4d (patch) | |
tree | 3749622698c259ea07f4685a7398616a49ebd3f1 /Makefile | |
parent | fd7d970a270ddba80ec916097af5306fb1d50f7f (diff) |
Master of docs is stable13 manual
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -40,7 +40,7 @@ developer-manual-pdf: @echo "Developer manual build finished; PDF is updated" api-docs: clean-api-docs - cd build && sh get-server-sources.sh master + cd build && sh get-server-sources.sh stable13 mkdir -p developer_manual/api/ cd build && composer install && composer update cd build && php generateApiDoc.php |