Docbook build: remove 'ps' type from --all

The docbook toolchain fails with error when trying to build the 1.2.x
developer's guide docbook in 'ps' format. Since this is most likely
never used, taking the easy approach of removing this format from the
build instead of trying to figure out why it's failing.