Update for GNU sed

This change updates a command to support GNU sed.

Author: nebhale

ci/documentation.sh

@@ -25,7 +25,7 @@ for PROJECT in $PROJECTS ; do
     mkdir -p $TARGET
     rm -rf $TARGET/*
     cp -r $SOURCE/* $TARGET
-    find $TARGET -type f -exec sed -i '' '/Generated by javadoc/d' {} \;
+    find $TARGET -type f -exec sed -i '/Generated by javadoc/d' {} \;
   fi
 done