]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Update build system
authorfennecdjay <astor.jeremie@wanadoo.fr>
Thu, 20 Jun 2019 00:30:47 +0000 (02:30 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Thu, 20 Jun 2019 00:30:47 +0000 (02:30 +0200)
docs.mk

diff --git a/docs.mk b/docs.mk
index 90f3c9cc5496d9de1d284642a7cec8550d2ce827..24c70db8bb47535df9986342eb12ffab2abf4352 100644 (file)
--- a/docs.mk
+++ b/docs.mk
@@ -14,7 +14,7 @@ doc-watch: $(md_list)
        @while true; do file=$(call _mdr_wait); echo $$file | grep '\.mdr$$' && mdr $$file; done
 
 doc-serve:
-       @(call _docserver_launch)
+       @$(call _docserver_launch)
 
 doc-clean:
        -@$(call _docserver_kill)