Use new serial Makefile to regenerate user documentation