Commit d56f78c2 authored by Dominik Charousset's avatar Dominik Charousset

Fix path to manual in OBS script

parent 5c0097b3
...@@ -61,9 +61,7 @@ if [ ! -f "$sourceDir/libcaf_core/caf/config.hpp" ] ; then ...@@ -61,9 +61,7 @@ if [ ! -f "$sourceDir/libcaf_core/caf/config.hpp" ] ; then
exit 1 exit 1
fi fi
if [ ! -d "$sourceDir/html" \ if [ ! -f "$sourceDir/manual.pdf" ] ; then
-o ! -f "$sourceDir/manual/manual.html"\
-o ! -f "$sourceDir/manual/manual.pdf" ] ; then
echo "Documentation must be generated before calling this script." >&2 echo "Documentation must be generated before calling this script." >&2
exit 1 exit 1
fi fi
......
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