IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-10-12 08:04:50 -05:00
Code Issues Packages Projects Releases Wiki Activity

Make target for the minimise tool

Browse Source
This commit is contained in:
Dave Page committed 2017-03-25 22:04:52 -04:00
1 parent e0f7a1cde6
commit 232ebae3aa
1 file changed
+3
Download Patch File Download Diff File Expand all files Collapse all files
Makefile
+3
View File
@@ -28,6 +28,9 @@ appbundle: docs
src:
./pkg/src/build.sh
minimise:
python web/tools/minimise.py ./web
docs:
LC_ALL=en_US.UTF-8 LANG=en_US.UTF-8 $(MAKE) -C docs/en_US -f Makefile.sphinx html