Polish JSON by default

to reduce white space variation

(yeah, since black and flake8 we all love paternalism)

R1/Makefile

@@ -23,9 +23,12 @@ I18NSPHINXOPTS  = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source
 
 DESTHTTP	?= /tmp/varnish-home-page
 
-all:	generate html
+all:	polish generate html
 	cp source/favicon.ico build/html
 
+polish:
+	cd source/vmods && python3 build.py --polish
+
 generate:
 	cd source/vmods && python3 build.py