# Makefile for shftool documentation.

EXTRA_DIST = shf.dtd