diff options
| author | Thomas Huth <thuth@redhat.com> | 2018-09-20 09:42:37 +0200 |
|---|---|---|
| committer | Thomas Huth <thuth@redhat.com> | 2018-09-25 17:26:17 +0200 |
| commit | 681a1eafe27d7520818e3827ef87e093fb2387e0 (patch) | |
| tree | 3313ac7c466532ac7ca00abecb2f18aa8a0d7810 /roms/config.vga-cirrus | |
| parent | 71fbecea0f725bc16aec32cf89cbf3aa78058826 (diff) | |
Makefile: Add missing dependency for qemu-deprecated.texi
Make sure that the docs get correctly regenerated when the
file qemu-deprecated.texi has been changed.
Fixes: 44c67847e32c91a6071fb0440c357b9489f08bc6
Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Thomas Huth <thuth@redhat.com>
(cherry picked from commit f99ce85279178385f204a52236f855c879c29cdc)
Diffstat (limited to 'roms/config.vga-cirrus')
0 files changed, 0 insertions, 0 deletions