diff --git a/make/htdocs.mk b/make/htdocs.mk
index 4d45d509..eeee78b6 100644
--- a/make/htdocs.mk
+++ b/make/htdocs.mk
@@ -51,6 +51,9 @@ endif
 
 .%.php.lint: %.php
 	php -l $<
+ifneq ($(PRETTIER),)
+	#$(PRETTIER) --parser html $< >/dev/null
+endif
 	touch $@
 
 .%.css.lint: %.css