# $Id: Makefile.am,v 1.5 2002/05/08 21:07:25 jpc Exp $

etcdir=$(prefix)/etc

etc_DATA=prol.elp

EXTRA_DIST=$(etc_DATA)