diff options
| author | Matthias Klose <doko@ubuntu.com> | 2021-03-19 10:03:02 +0000 |
|---|---|---|
| committer | Matthias Klose <doko@ubuntu.com> | 2021-03-19 10:03:02 +0000 |
| commit | 3b0155305e5168b48d19f74e9bfcdf423a532ada (patch) | |
| tree | c30f430a61442cba615fa97c81a7c0aee1652edd /contrib | |
| parent | af73a8b2027d9ab64944d7dbbb48e207d7790ce6 (diff) | |
| download | gcc-3b0155305e5168b48d19f74e9bfcdf423a532ada.zip gcc-3b0155305e5168b48d19f74e9bfcdf423a532ada.tar.gz gcc-3b0155305e5168b48d19f74e9bfcdf423a532ada.tar.bz2 | |
substitute @tie{} with a space for the man pages
contrib/
2021-03-19 Matthias Klose <doko@ubuntu.com>
* texi2pod.pl: Substitute @tie{} with a space for the man pages.
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/texi2pod.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/texi2pod.pl b/contrib/texi2pod.pl index 608dff4..5fcf0a1 100755 --- 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 |