Minor change to doc/comptype pages generation