[Pam-developers] [PATCH] add option to omit building docs