## Process this file with automake to produce Makefile.in

info_TEXINFOS = prcs.texi

man_MANS = prcs.1

## The prcs.1 on the line below is a workaround for a bug
## in 1.1m and 1.1n.
EXTRA_DIST = make-docs.el texinfo.tex prcs.1