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 /user-exec.c | |
| 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 'user-exec.c')
0 files changed, 0 insertions, 0 deletions