mirror of https://github.com/CGAL/cgal
Merge pull request #5880 from maxGimeno/Fix_doc_error_in_tool-maxGImeno
Doc tool fix
This commit is contained in:
commit
2af6116d76
|
|
@ -22,10 +22,10 @@ jobs:
|
|||
if(re.test(body)){
|
||||
const res = re.exec(body)
|
||||
if(body.includes("force-")) {
|
||||
return "res[1]:yes";
|
||||
return res[2]+":yes"
|
||||
}
|
||||
else{
|
||||
return "res[1]:no";
|
||||
return res[2]+":no"
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue