mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-06-21 12:57:58 +02:00
Jari Aalto
9 lines
217 B
Bash
Executable File
9 lines
217 B
Bash
Executable File
#! /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'
|