Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

15 lines (12 sloc) 0.42 kb
# These directories contain temporary files used to build dvi, ps, and
# pdf files. They should NEVER go in a commit.
# Many files are produced as output for the compiled documentation
# formats. This leaves them out in one fell swoop:
# However, we want the Texinfo source for the manual to be tracked, as
# well as the original logo, so we un-ignore them here:
Jump to Line
Something went wrong with that request. Please try again.