From ecff6d93c0d85253c4266124cff6ea2f491c2493 Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Fri, 22 Apr 2022 17:54:35 +0200 Subject: [PATCH] tools: fix gen_javadoc script --- tools/doc/gen_javadoc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/doc/gen_javadoc.sh b/tools/doc/gen_javadoc.sh index 665982e56b..02f24e70fa 100755 --- a/tools/doc/gen_javadoc.sh +++ b/tools/doc/gen_javadoc.sh @@ -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}")