source:
vendor/bash/3.1-p17/doc/infopost.sh
Last change on this file was 3228, checked in by , 18 years ago | |
---|---|
File size: 217 bytes |
Line | |
---|---|
1 | #! /bin/sh |
2 | # |
3 | # Some of these should really be done by options to makeinfo or by |
4 | # using @setfilename, but this way we can have both bashref.info and |
5 | # bash.info (for installing) |
6 | # |
7 | |
8 | sed -e 's|bashref.info|bash.info|g' |
Note:
See TracBrowser
for help on using the repository browser.