Allow documentation builds when testing is turned off#193

d-torrance wants to merge 1 commit intoscipopt:masterscipopt/scip:masterfrom

d-torrance:make-docd-torrance/scip:make-docCopy head branch name to clipboard