cross-platform compatibility

Poikilos · Dec 5, 2017 · 20f9a27 · 20f9a27
1 parent d35ae52
commit 20f9a27
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/full-release.sh b/full-release.sh
@@ -119,10 +119,14 @@ echo "Building Doxygen release..."
 echo
 
 (cd $DOXYGEN_FILES/doc/doxygen && ./doxygen-dist.sh) || die
-cp $DOXYGEN_FILES/doc/doxygen/$BASE-users-doxygen.chm     "$FILES" || die
+if [ -f "$DOXYGEN_FILES/doc/doxygen/$BASE-users-doxygen.chm" ]; then
+  cp $DOXYGEN_FILES/doc/doxygen/$BASE-users-doxygen.chm     "$FILES" || die
+fi
 cp $DOXYGEN_FILES/doc/doxygen/$BASE-users-doxygen.zip     "$FILES" || die
 cp $DOXYGEN_FILES/doc/doxygen/$BASE-users-doxygen.tar.bz2 "$FILES" || die
-cp $DOXYGEN_FILES/doc/doxygen/$BASE-devel-doxygen.chm     "$FILES" || die
+if [ -f "$DOXYGEN_FILES/doc/doxygen/$BASE-devel-doxygen.chm" ]; then
+  cp $DOXYGEN_FILES/doc/doxygen/$BASE-devel-doxygen.chm     "$FILES" || die
+fi
 cp $DOXYGEN_FILES/doc/doxygen/$BASE-devel-doxygen.zip     "$FILES" || die
 cp $DOXYGEN_FILES/doc/doxygen/$BASE-devel-doxygen.tar.bz2 "$FILES" || die