Lines Matching full:disc
714 (@pxref{Configuration}), and copy any files and directories for the disc to the
725 into a CD (or a DVD). @kbd{mkisofs} has already set up the disc to boot
727 setup GRUB on the disc. (Note that the @kbd{-boot-load-size 4} bit is
