diff --git a/pkg/pip/build.sh b/pkg/pip/build.sh index 7cbb03538..54ca202d2 100755 --- a/pkg/pip/build.sh +++ b/pkg/pip/build.sh @@ -46,6 +46,7 @@ if [ -d pip-build/pgadmin4 ]; then fi mkdir pip-build/pgadmin4 +mkdir pip-build/pgadmin4/docs # Build the clean tree cd web @@ -56,6 +57,22 @@ do tar cf - $FILE | (cd ../pip-build/pgadmin4; tar xf -) done +cd ../docs +for FILE in `git ls-files` +do + echo Adding $FILE + # We use tar here to preserve the path, as Mac (for example) doesn't support cp --parents + tar cf - $FILE | (cd ../pip-build/pgadmin4/docs; tar xf -) +done + +for DIR in `ls -d ??_??/` +do + if [ -d $DIR/_build/html ]; then + mkdir -p ../pip-build/pgadmin4/docs/$DIR/_build + cp -R $DIR/_build/html ../pip-build/pgadmin4/docs/$DIR/_build + fi +done + cd ../ for FILE in LICENSE README libraries.txt do @@ -64,6 +81,11 @@ do tar cf - $FILE | (cd pip-build/pgadmin4; tar xf -) done +# Create the distro config +echo Creating distro config... +echo HELP_PATH = \'../../docs/en_US/_build/html/\' > pip-build/pgadmin4/config_distro.py +echo MINIFY_HTML = False >> pip-build/pgadmin4/config_distro.py + # Create the manifest echo Creating manifest... echo recursive-include pgadmin4 \* > pip-build/MANIFEST.in diff --git a/web/config.py b/web/config.py index 8545addbd..870d70ed1 100644 --- a/web/config.py +++ b/web/config.py @@ -250,6 +250,12 @@ THREADED_MODE = True # Local config settings ########################################################################## +# Load distribution-specific config overrides +try: + from config_distro import * +except ImportError: + pass + # Load local config overrides try: from config_local import *