* Add new option PDF. If it is enabled PDF document is built and installed. * Change DOCS option so HTML document is built and installed if it is enabled. * Add NO_ARCH