git://git.jankratochvil.net
/
nethome.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2a3f2fc
)
Compatibility with RHEL-4 autoconf macros.
author
lace
<>
Sat, 18 Oct 2008 15:56:03 +0000
(15:56 +0000)
committer
lace
<>
Sat, 18 Oct 2008 15:56:03 +0000
(15:56 +0000)
bin/makeinfo
[new file with mode: 0755]
patch
|
blob
diff --git a/bin/makeinfo
b/bin/makeinfo
new file mode 100755
(executable)
index 0000000..
61e1f05
--- /dev/null
+++ b/
bin/makeinfo
@@ -0,0
+1,6
@@
+#! /bin/sh
+if [ "$*" = "--version" ];then
+ /usr/bin/makeinfo "$@" | sed 's/texinfo[^0-9]*/&4.40 - orig /'
+else
+ exec /usr/bin/makeinfo "$@"
+fi