Searched defs:TEXINFOS (Results 1 - 2 of 2) sorted by relevance

/osnet-11/usr/src/grub/grub2/build-bios/docs/
H A DMakefile98 TEXINFOS = grub.texi grub-dev.texi macro
111 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
/osnet-11/usr/src/grub/grub2/build-uefi64/docs/
H A DMakefile98 TEXINFOS = grub.texi grub-dev.texi macro
111 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)

Completed in 45 milliseconds