This repository has been archived by the owner. It is now read-only.

Added texinfo builder #6

merged 1 commit into from Oct 20, 2012


None yet
2 participants

bon commented Oct 20, 2012

No description provided.

jacobian added a commit that referenced this pull request Oct 20, 2012

Merge pull request #6 from bon/master
Added texinfo builder

@jacobian jacobian merged commit ad366ee into jacobian:master Oct 20, 2012

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