Commit 57fd28ea authored by Robert Goldman's avatar Robert Goldman
Browse files

Restore make doc target.

parent ca8f7af6
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment