Merge PR snabbco#834 (Update scripts/snabb_doc.sh for snabbco#829) in…

…to max-next
eugeneia · Mar 21, 2016 · 9e5437f · 9e5437f
2 parents 676a085 + 123e700
commit 9e5437f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/scripts/snabb_doc.sh b/src/scripts/snabb_doc.sh
@@ -73,8 +73,10 @@ function tag_out   { echo $docdir/tag/$1.html;  }
 function index_out { echo $docdir/index.html;   }
 
 function build_doc1 {
-    (cd $(repo_path)/src && git checkout $1 && make doc/snabbswitch.html) \
-        && mv $(repo_path)/src/doc/snabbswitch.html $2
+    ((cd $(repo_path)/src && git checkout $1 && make doc/snabbswitch.html) \
+        && mv $(repo_path)/src/doc/snabbswitch.html $2) \
+ || ((cd $(repo_path)/src && git checkout $1 && make obj/doc/snabbswitch.html) \
+        && mv $(repo_path)/src/obj/doc/snabbswitch.html $2)
 }
 
 function build_doc {