projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
af73a8b
)
substitute @tie{} with a space for the man pages
author
Matthias Klose
<doko@ubuntu.com>
Fri, 19 Mar 2021 10:03:02 +0000
(10:03 +0000)
committer
Matthias Klose
<doko@ubuntu.com>
Fri, 19 Mar 2021 10:03:02 +0000
(10:03 +0000)
contrib/
2021-03-19 Matthias Klose <doko@ubuntu.com>
* texi2pod.pl: Substitute @tie{} with a space for the man pages.
contrib/texi2pod.pl
patch
|
blob
|
history
diff --git
a/contrib/texi2pod.pl
b/contrib/texi2pod.pl
index
608dff4
..
5fcf0a1
100755
(executable)
--- a/
contrib/texi2pod.pl
+++ b/
contrib/texi2pod.pl
@@
-210,6
+210,7
@@
while(<$inf>) {
s/\@TeX\{\}/TeX/g;
s/\@pounds\{\}/\#/g;
s/\@minus(?:\{\})?/-/g;
+ s/\@tie\{\}/ /g;
s/\\,/,/g;
# Now the ones that have to be replaced by special escapes