Test make documentation

Add RFC reference and add type guidelines #264

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build development docs	21s
Build user docs PDF	24s
Build user docs for website	1m 0s
	1m 45s