diff options
| author |  Tom Willemsen | 2013-01-06 15:10:37 +0100 |
|---|---|---|
| committer | Tom Willemsen | 2013-01-06 15:10:37 +0100 |
| commit | 759b8b0cf97c21d897c0d1929421c803a6619bd1 (patch) | |
| tree | 670fbe5bba355a9ff78d806e02934556fa19b90f /doc/.gitignore | |
| parent | 58a7c046d22579cc5156fb34429e5ea7ea5a5526 (diff) | |
| download | markam-759b8b0cf97c21d897c0d1929421c803a6619bd1.tar.gz markam-759b8b0cf97c21d897c0d1929421c803a6619bd1.zip | |
Add more documentation formats to Makefile
`dvi', `pdf' and `ps' can be compiled/installed by explicitly
specifying `make FORMAT' or `make install-FORMAT'.
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index bf12a97..aab0fe6 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1 +1,13 @@ *.info +*.aux +*.cp +*.dvi +*.fn +*.ky +*.log +*.pdf +*.pg +*.ps +*.toc +*.tp +*.vr |