diff options
| author | Pedram Ashofteh Ardakani <pedramardakani@pm.me> | 2022-03-04 13:04:50 +0330 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2022-03-07 14:50:20 +0100 |
| commit | 470803eee43f63723ba41522a28efceef4aa0141 (patch) | |
| tree | 2d91c6075bc42ad9a46ef3a6c461fedfe0408f7a /reproduce/config/pipeline/web.mk | |
| parent | 8463df97c6f26ec4d22cd5828bb0574fd5e450d2 (diff) | |
paper.tex: fix double dash that was not showing up in output pdf
Until now, the 'double dash' (i.e. \texttt{--}) in the default 'paper.tex'
would only print one (longer) dash in the output pdf.
With this commit, the double dashes are replaced with '-{}-' in the LaTeX
source as a workaround suggested by Stefan Kottwitz in [1].
[1] https://latex.org/forum/viewtopic.php?f=44&t=4670&start=0
Diffstat (limited to 'reproduce/config/pipeline/web.mk')
0 files changed, 0 insertions, 0 deletions