diff options
| -rw-r--r-- | qemu-doc.texi | 6 | ||||
| -rw-r--r-- | qemu-tech.texi | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/qemu-doc.texi b/qemu-doc.texi index 4e220d0507..3b705ada85 100644 --- a/qemu-doc.texi +++ b/qemu-doc.texi @@ -6,6 +6,12 @@ @paragraphindent 0 @c %**end of header +@ifinfo +@direntry +* QEMU: (qemu-doc). The QEMU Emulator User Documentation. +@end direntry +@end ifinfo + @iftex @titlepage @sp 7 diff --git a/qemu-tech.texi b/qemu-tech.texi index 97d8dea3bc..52560dcf96 100644 --- a/qemu-tech.texi +++ b/qemu-tech.texi @@ -6,6 +6,12 @@ @paragraphindent 0 @c %**end of header +@ifinfo +@direntry +* QEMU Internals: (qemu-tech). The QEMU Emulator Internals. +@end direntry +@end ifinfo + @iftex @titlepage @sp 7 |