doc: fix building of ps and pdf documentation