mirror/gcc
1
0
Fork 0
mirror of https://github.com/gcc-mirror/gcc.git synced 2024-11-21 13:40:47 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

substitute @tie{} with a space for the man pages

Browse Source 
contrib/

2021-03-19  Matthias Klose  <doko@ubuntu.com>

	* texi2pod.pl: Substitute @tie{} with a space for the man pages.
This commit is contained in:
Matthias Klose 2021-03-19 10:03:02 +00:00
parent af73a8b202
commit 3b0155305e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
contrib/texi2pod.pl
View File

@ -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