summaryrefslogtreecommitdiff
path: root/doc/infopost.sh
blob: 85c49b4d4ffb3507d299f381a80699c99534ab54 (plain)
1
2
3
4
5
6
7
8
#! /bin/sh
#
# Some of these should really be done by options to makeinfo or by
# using @setfilename, but this way we can have both bashref.info and
# bash.info (for installing)
#

sed -e 's|bashref.info|bash.info|g'