# Texinfo defaults.
# $Id: Makefile.inc,v 1.4 1995/07/16 10:23:51 joerg Exp $