diff options
| author | Peter Carbonetto | 2017-05-24 13:09:11 -0500 |
|---|---|---|
| committer | Peter Carbonetto | 2017-05-24 13:09:11 -0500 |
| commit | ac357db21bbf3e28e1eb054d935fa2de04a3b43b (patch) | |
| tree | 8abf698f726b0c7dcf4785e9f55937cb87ca1db5 /.gitignore | |
| parent | d08cf5a08142d5016e00a71ae1bce942985e5e71 (diff) | |
| download | pangemma-ac357db21bbf3e28e1eb054d935fa2de04a3b43b.tar.gz | |
Added instructions to build manual; fixed Zhou-2016 ref.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 402c607..4fcf8a3 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,9 @@ *.o *.tar.gz -example/output/ \ No newline at end of file +example/output +doc/manual.aux +doc/manual.bbl +doc/manual.blg +doc/manual.log +doc/manual.out +doc/manual.toc \ No newline at end of file |