be320ab292
- Make it possible to override the complete path to the INDEX file used for the ports/ part of the website, by setting the PINDEX_OVERRIDE variable. (Already merged in www/ja/ports/Makefile.) - Force NO_TIDY for the ports web pages, since it takes a long time to run tidy on these huge HTML files, and the files are valid HTML when generated by portindex, even without tidy. Running without tidy caused the build time to go from ~8 minutes to ~1 minute on my test machine. An additional bonus is that the generated HTML files are now significantly smaller. |
||
---|---|---|
.. | ||
categories | ||
Makefile | ||
Makefile.inc | ||
Makefile.inc0 | ||
packages | ||
portindex | ||
ports.inc |