13 lines
334 B
Plaintext
13 lines
334 B
Plaintext
# Guidebook without a suffix is usually a copy of Guidebook.txt. The
|
|
# latter is managed by git because it is part of the source distribution.
|
|
# We don't want both copies.
|
|
Guidebook
|
|
# various intermediate files or generated output, not to be tracked.
|
|
Guidebook.aux
|
|
Guidebook.dvi
|
|
Guidebook.log
|
|
Guidebook.pdf
|
|
Guidebook.ps
|
|
*.synctex.*
|
|
|