# $Id: Makefile.inc,v 1.2 1996/08/11 15:38:43 oki Exp $
# Revision is 1.2
# all these private copies of the version number really lose.
REV= 12