git://git.jankratochvil.net
/
nethome.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
.muttrc.addons: Fix spam keys.
[nethome.git]
/
bin
/
makeinfo
1
#! /bin/sh
2
if [ "$*" = "--version" ];then
3
/usr/bin/makeinfo "$@" | sed 's/texinfo[^0-9]*/&4.40 - orig /'
4
else
5
exec /usr/bin/makeinfo "$@"
6
fi