Skip to content
Snippets Groups Projects
build_docs.sh 210 B
Newer Older
Martin Beseda's avatar
Martin Beseda committed
#!/bin/bash

echo "Generating documentation into folder 'docs'...";
echo "Building LaTeX documentation../";
make >/dev/null && echo "Documentation was built." || exit -1;