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:
0e3bafc
)
-bin/makeinfo
author
Jan Kratochvil
<jan@jankratochvil.net>
Thu, 21 Sep 2023 11:21:41 +0000
(13:21 +0200)
committer
Jan Kratochvil
<jan@jankratochvil.net>
Thu, 21 Sep 2023 11:21:41 +0000
(13:21 +0200)
- RHEL-4 is no longer relevant and it breaks compilations with missing /usr/bin/makeinfo
bin/makeinfo
[deleted file]
patch
|
blob
|
history
diff --git
a/bin/makeinfo
b/bin/makeinfo
deleted file mode 100755
(executable)
index
61e1f05
..0000000
--- a/
bin/makeinfo
+++ /dev/null
@@
-1,6
+0,0 @@
-#! /bin/sh
-if [ "$*" = "--version" ];then
- /usr/bin/makeinfo "$@" | sed 's/texinfo[^0-9]*/&4.40 - orig /'
-else
- exec /usr/bin/makeinfo "$@"
-fi