# Documentation makefile

MAINTAINERCLEANFILES= Makefile.in