4db3aa263c8c
c3081fb7f98a
a78a18e9b993
1
2
3
4
5
6
# Texinfo defaults. # $Id: Makefile.inc,v 1.2 1994/09/15 12:09:36 jkh Exp $ INFODIR?= /usr/share/info CFLAGS+= -O2 -pipe