Searched refs:dvidir (Results 1 - 3 of 3) sorted by relevance

/osnet-11/usr/src/grub/grub2/build-bios/docs/
H A DMakefile697 dvidir = ${docdir} macro
856 echo " rm -f '$(DESTDIR)$(dvidir)/$$f'"; \
857 rm -f "$(DESTDIR)$(dvidir)/$$f"; \
1032 test -z "$(dvidir)" || $(MKDIR_P) "$(DESTDIR)$(dvidir)"
1036 echo " $(INSTALL_DATA) '$$d$$p' '$(DESTDIR)$(dvidir)/$$f'"; \
1037 $(INSTALL_DATA) "$$d$$p" "$(DESTDIR)$(dvidir)/$$f"; \
/osnet-11/usr/src/grub/grub2/build-uefi64/docs/
H A DMakefile697 dvidir = ${docdir} macro
856 echo " rm -f '$(DESTDIR)$(dvidir)/$$f'"; \
857 rm -f "$(DESTDIR)$(dvidir)/$$f"; \
1032 test -z "$(dvidir)" || $(MKDIR_P) "$(DESTDIR)$(dvidir)"
1036 echo " $(INSTALL_DATA) '$$d$$p' '$(DESTDIR)$(dvidir)/$$f'"; \
1037 $(INSTALL_DATA) "$$d$$p" "$(DESTDIR)$(dvidir)/$$f"; \
/osnet-11/usr/src/grub/grub2/
H A Dconfigure1330 dvidir
1433 dvidir='${docdir}'
1516 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
1517 ac_prev=dvidir ;;
1518 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
1519 dvidir=$ac_optarg ;;
1821 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1992 --dvidir
[all...]

Completed in 31 milliseconds