Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

added PDF target for documentation #42

wants to merge 1 commit into


None yet
2 participants

bsmr commented Jun 10, 2014

This is just a minor tweak - without any great testing - to add another build target to generate PDF documentation. Maybe this is of interest for the master branch?

This pull request had gotten lost due to me being disorganized. Sorry!
Seems it requires people to have texi2pdf installed?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment