PDF builder functionality #11
Description
Many less technical users find it easier to work with printed documentation, so it may be a good idea to provide a way for users to print off PDF copies of the documentation guides / manuals present on their system.