tools: fix gen_javadoc script
This commit is contained in:
@@ -10,5 +10,5 @@ OUTPUT_DIR="docs/javadoc"
|
||||
rm -rf ${OUTPUT_DIR}
|
||||
mkdir -p ${OUTPUT_DIR}
|
||||
|
||||
ARCHIVE=$(find "dependencies/java/ortools-java/target" -iname "ortools-java-${OR_TOOLS_MAJOR}.${OR_TOOLS_MINOR}.*-javadoc.jar")
|
||||
ARCHIVE=$(find "build_make/java/ortools-java/target" -iname "ortools-java-${OR_TOOLS_MAJOR}.${OR_TOOLS_MINOR}.*-javadoc.jar")
|
||||
(cd ${OUTPUT_DIR} && jar -xvf "../../${ARCHIVE}")
|
||||
|
||||
Reference in New Issue
Block a user