mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 07:12:39 +00:00
Use more standard `doc' directory. * docs: Rename to ... * doc: ... this. Update all users. * doc/multiboot.texi: Fix an obsolete reference to `docs' directory in GRUB distribution.