diff options
Diffstat (limited to 'emulators/qemu/files')
| -rw-r--r-- | emulators/qemu/files/patch-Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/emulators/qemu/files/patch-Makefile b/emulators/qemu/files/patch-Makefile index ef7e69d4f3e2..ba61a5f20acd 100644 --- a/emulators/qemu/files/patch-Makefile +++ b/emulators/qemu/files/patch-Makefile @@ -36,3 +36,12 @@ Index: qemu/Makefile endif install: all $(if $(BUILD_DOCS),install-doc) +@@ -321,7 +321,7 @@ cscope: + + # documentation + %.html: %.texi +- $(call quiet-command,texi2html -I=. -monolithic -number $<," GEN $@") ++ $(call quiet-command,texi2html -I=. -monolithic --number-sections $<," GEN $@") + + %.info: %.texi + $(call quiet-command,makeinfo -I . $< -o $@," GEN $@") |