From 50d3f3d2e4566d454b32dbd5d26a14923fd33356 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 1 Oct 2018 23:20:21 +0200 Subject: [PATCH] docs: don't fail when files to clean don't exist --- docs/Build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/Build.sh b/docs/Build.sh index 03fc911c86..492bce5877 100755 --- a/docs/Build.sh +++ b/docs/Build.sh @@ -16,8 +16,8 @@ if [ "x$1" != 'xjava' -a -e source/java ] ; then else rm -rf source/java javasphinx-apidoc --force -o source/java/ ../src/bindings/java/org/simgrid/msg - mv source/java/packages.rst api_generated/source_java_packages.rst - mv source/java/org/simgrid/msg/package-index.rst api_generated/source_java_org_simgrid_msg_package-index.rst + rm -f source/java/packages.rst # api_generated/source_java_packages.rst + rm -f source/java/org/simgrid/msg/package-index.rst # api_generated/source_java_org_simgrid_msg_package-index.rst for f in source/java/org/simgrid/msg/* ; do # Add the package name to the page titles (echo -n "class org.simgrid.msg."; cat $f )>tmp -- 2.20.1