IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-09-03 20:52:57 -05:00
Code Issues Packages Projects Releases Wiki Activity

Minify HTML with Flask-HTMLMIN

Browse Source
This commit is contained in:
Dave Page
2016-11-18 16:42:38 +00:00
parent d5351ad657
commit 020bf1d532
6 changed files with 6 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Make.bat
-1
View File
@@ -252,7 +252,6 @@ GOTO:EOF
ECHO Creating config_distro.py
ECHO SERVER_MODE = False > "%PGBUILDPATH%\web\config_distro.py"
ECHO HELP_PATH = '../../../docs/en_US/html/' >> "%PGBUILDPATH%\web\config_distro.py"
ECHO MINIFY_HTML = False >> "%PGBUILDPATH%\web\config_distro.py"
ECHO Building docs...
MKDIR "%PGBUILDPATH%\docs\en_US\html"