Searched refs:check_web (Results 1 – 4 of 4) sorted by relevance
871 check_web: $(CHECK_WEB_PAGES) target1237 .PHONY: check_web check_zishrink
2350 'make check_web' now works on Fedora-like distributions.3582 The settings for 'make check_web' now default to Ubuntu 13.10.
869 check_web: $(CHECK_WEB_PAGES) target1235 .PHONY: check_web check_zishrink
2456 'make check_web' now works on Fedora-like distributions.3688 The settings for 'make check_web' now default to Ubuntu 13.10.