Commit 1741d6e5 authored by neverlord's avatar neverlord

check for folders

parent b9a8771e
#!/bin/bash #!/bin/bash
echo "check for folders ..."
if [ ! -d manual ]; then
echo "no manual folder found"
exit
fi
if [ ! -d ../gh-pages ]; then
echo "no gh-pages folder found"
exit
fi
echo "build documentation ..." echo "build documentation ..."
make doc &>/dev/null make doc &>/dev/null
......
Markdown is supported
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