Build downloads (fixing make-phpdocs for zsh)

src/make-phpdocs

@@ -85,7 +85,7 @@ table#methods.summary div.description dd {
 EOF
 
 # Fix the JavaScript that scrolls to the selected lines in the source code
-sed -i "s/\(\s*if [(][$]firstLine[.]length > 0[)] [{]\)/\1\n\
+sed -i "" "s/\(\s*if [(][$]firstLine[.]length > 0[)] [{]\)/\1\n\
 \t\t\t\$('div#right').scrollTop(\$firstLine.offset().top -\n\
 \t\t\t\t\t\t \$('div#right').offset().top);/" \
     $BUILDDIR/html/resources/combined.js
@@ -94,18 +94,19 @@ sed -i "s/\(\s*if [(][$]firstLine[.]length > 0[)] [{]\)/\1\n\
 # Also, don't use cookies to remember to splitter's position, since that can
 # make the site unusable if the stored position is larger than the browser's
 # window width.
-sed -i "s/\(var splitterPosition.*\) = .*;/\1 = $SPLITTER_POS;/" \
+sed -i "" "s/\(var splitterPosition.*\) = .*;/\1 = $SPLITTER_POS;/" \
     $BUILDDIR/html/resources/combined.js
 
 # Allow the splitter to be moved arbitrarily far to the left and right
-sed -i "s/event.pageX >= 230/event.pageX >= 0/" \
+sed -i "" "s/event.pageX >= 230/event.pageX >= 0/" \
     $BUILDDIR/html/resources/combined.js
-sed -i "s/event.pageX >= 600 +/event.pageX >=/" \
+sed -i "" "s/event.pageX >= 600 +/event.pageX >=/" \
     $BUILDDIR/html/resources/combined.js
 
+echo "HERE"
 # Fix the footer text's repeated "API"
 for FILE in $(find $BUILDDIR/html -name "*.html") ; do
-    sed -i "s/API API documentation/API documentation/" $FILE
+    sed -i "" "s/API API documentation/API documentation/" $FILE
 done
 
 echo ""