actually generate PHP docs [REVIEW]

4dc0d2d0 · Dr Rich Wareham · 8d052464 · 4dc0d2d0 · 4dc0d2d0 · 4dc0d2d0
Commit 4dc0d2d0 authored 3 years ago by Dr Rich Wareham
--- a/downloads/php/ibis-php-client-api-1.3.0-docs.tar.bz2
+++ b/downloads/php/ibis-php-client-api-1.3.0-docs.tar.bz2
--- a/downloads/php/ibis-php-client-api-1.3.0-src.tar.bz2
+++ b/downloads/php/ibis-php-client-api-1.3.0-src.tar.bz2
--- a/src/make-phpdocs
+++ b/src/make-phpdocs
@@ -41,7 +41,7 @@ docker run -v $BUILDDIR:/builddir \
                           --template-theme bootstrap

 # Align the method parameters in the generated docs
-python $DIRNAME/align-method-params.py $BUILDDIR/html
+python3 $DIRNAME/align-method-params.py $BUILDDIR/html

 # Some CSS tweaks/improvements
 SPLITTER_POS=200