source:
trunk/essentials/app-shells/bash/doc/infopost.sh@
3230
| Last change on this file since 3230 was 3228, checked in by , 19 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.
