diff options
| author | Marc-André Lureau | 2017-01-13 15:41:32 +0100 |
|---|---|---|
| committer | Markus Armbruster | 2017-01-16 10:11:43 +0100 |
| commit | bd3f5706d13ada7870c02799c1b9d05d63831f9b (patch) | |
| tree | 9db17f4862da88a258c3cd2c53cc043e76c8493b /include/exec/user | |
| parent | build-sys: use --no-split for info (diff) | |
| download | qemu-bd3f5706d13ada7870c02799c1b9d05d63831f9b.tar.gz qemu-bd3f5706d13ada7870c02799c1b9d05d63831f9b.tar.xz qemu-bd3f5706d13ada7870c02799c1b9d05d63831f9b.zip | |
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 'include/exec/user')
0 files changed, 0 insertions, 0 deletions