diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-05 17:59:57 +0100 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-05 17:59:57 +0100 |
| commit | 647ce436871b5b692fa07ff166b731f72dff8bf8 (patch) | |
| tree | bb2141961f228ade000c06329bae068592117d00 /reproduce/software/shell | |
| parent | a4e2ec81d57eae3ec88c6f5af2f801f3b94bea24 (diff) | |
Commenting version numbers with an underscore for LaTeX
Until now we would simply return the version numbers as they were written
into the separate files and situations can happen where the version numbers
contain an underscore (`_'). However, this character is a methematical
character in LaTeX, causing LaTeX to complain and abort.
With this commit, a step has been added at the end of the configure script
to convert any possible `_' to `\_'. Once it is commented (a backslash is
put behind it), the underscore will be printed as it is in the final PDF.
This commit was originally written by Mohammad Akhlaghi
Diffstat (limited to 'reproduce/software/shell')
| -rwxr-xr-x | reproduce/software/shell/configure.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/reproduce/software/shell/configure.sh b/reproduce/software/shell/configure.sh index ca95a92..a0fc228 100755 --- a/reproduce/software/shell/configure.sh +++ b/reproduce/software/shell/configure.sh @@ -1320,9 +1320,11 @@ prepare_name_version () | .local/bin/sed '/^\s*$/d' \ | .local/bin/wc -l) - # Put them all in one paragraph. + # Put them all in one paragraph, while sorting them, commenting any + # possible underscores and removing blank lines. .local/bin/cat $@ \ | .local/bin/sort \ + | .local/bin/sed -e's|_|\\_|' \ | .local/bin/awk 'NF>0 { \ c++; \ if(c==1) \ |