1 2 3 4
# Texinfo defaults. # $Id: Makefile.inc,v 1.3 1995/07/08 16:45:49 joerg Exp $ INFODIR?= /usr/share/info