diff options
| author | Michal Schmidt <mschmidt@redhat.com> | 2015-10-07 14:40:44 +0200 |
|---|---|---|
| committer | Michal Schmidt <mschmidt@redhat.com> | 2015-10-07 14:43:55 +0200 |
| commit | df553b586b7c11fc660bb1829c339fb005bbbead (patch) | |
| tree | ed79066e99ea0873a0bf7898ae667892000cdb2a /tools/make-man-index.py | |
| parent | 42911a567dc22c3115fb3ee3c56a7dcfb034f102 (diff) | |
basic: fix env expansion for strings leading with two dollar signs
The way to escape a literal dollar sign is to write "$$". But this does
not work right if it's at the beginning of the argument. Fix it.
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions