diff options
| author | Marc-André Lureau <marcandre.lureau@redhat.com> | 2017-01-13 15:41:32 +0100 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2017-01-16 10:11:43 +0100 |
| commit | bd3f5706d13ada7870c02799c1b9d05d63831f9b (patch) | |
| tree | 9db17f4862da88a258c3cd2c53cc043e76c8493b /.gitignore | |
| parent | e9ee06bdf014de03ca6d4ed98cb5beda5f68c6f4 (diff) | |
build-sys: remove dvi doc generation
There is no clear reason to have rules to generate dvi format
documentation, pdf is generally better supported nowadays.
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Message-Id: <20170113144135.5150-19-marcandre.lureau@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index e43c3044dc..3338bdc876 100644 --- a/.gitignore +++ b/.gitignore @@ -60,7 +60,6 @@ *.a *.aux *.cp -*.dvi *.exe *.msi *.dll |