From 759b8b0cf97c21d897c0d1929421c803a6619bd1 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Sun, 6 Jan 2013 15:10:37 +0100
Subject: Add more documentation formats to Makefile

`dvi', `pdf' and `ps' can be compiled/installed by explicitly
specifying `make FORMAT' or `make install-FORMAT'.
---
 doc/.gitignore | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'doc/.gitignore')

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
-- 
cgit v1.3-2-g0d8e