| html = boot-proposal.html errors.html faq.html grub.html install.html \ | |
| mem64mb.html technical.html using.html | |
| txt = PC_partitioning.txt bios_mapping.txt commands.txt embedded_data.txt \ | |
| filesystem.txt | |
| info_TEXINFOS = grub.texi multiboot.texi | |
| EXTRA_DIST = $(txt) $(html) menu.lst |