# $Id: Makefile,v 1.4 1997-07-01 05:38:11 max Exp $ DOCS= devel.docb INDEXLINK= devel.html .include "../../web.mk"