improve of cmpl.

[bush.git] / doc / umdoc / infopost.sh

#! /bin/sh
#
# Some of these should really be done by options to makeinfo or by
# using @setfilename, but this way we can have both bushref.info and
# bush.info (for installing)
#

sed -e 's|bushref.info|bush.info|g'