Add doc/no-doc option to omit document files