d6d2ae6a56
info/Makefile instead to not clobber the settings inherited from /etc/make.conf.
5 lines
105 B
Makefile
5 lines
105 B
Makefile
# Texinfo defaults.
|
|
# $Id: Makefile.inc,v 1.3 1995/07/08 16:45:49 joerg Exp $
|
|
|
|
INFODIR?= /usr/share/info
|