diff --git a/Makefile b/Makefile index 953603a4a3f704d3bfe015881fa95f6d60829d5b..4212e6ae1319f18a70f25c8d257d06ff5f61d7ac 100644 --- a/Makefile +++ b/Makefile @@ -154,10 +154,11 @@ push: git fetch git status -# doc: -# ${MAKE} -C doc -# don't have the toolchain to build docs installed... -doc: ; +doc: + ${MAKE} -C doc +# if you don't have the toolchain to build docs installed... +#doc: ; + website: ${MAKE} -C doc website ${MAKE} -C uiop/doc website