Test make documentation

Clean up messy links in Ext Dev Docs #299

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build development docs	25s
Build user docs PDF	2m 7s
Build user docs for website	1m 35s
	4m 7s