diff options
author | Loek Le Blansch <loek@pipeframe.xyz> | 2024-09-17 16:56:36 +0200 |
---|---|---|
committer | Loek Le Blansch <loek@pipeframe.xyz> | 2024-09-17 16:56:36 +0200 |
commit | 581044887a16d37c90116da544f5d9d600faa80c (patch) | |
tree | 503f58f4c7558d8cdc188eceb555ba54d83680bd /scripts/tex.py | |
parent | 5c0649ac31b030cbb3c8c5e0684ee9419fe50054 (diff) |
more fixes for reqs2tex
Diffstat (limited to 'scripts/tex.py')
-rw-r--r-- | scripts/tex.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/scripts/tex.py b/scripts/tex.py index 2509a87..59c6895 100644 --- a/scripts/tex.py +++ b/scripts/tex.py @@ -47,6 +47,3 @@ def esc(plain): def tabrule(*cells): return "&".join(cells) + "\\\\" -def label2ref(*labels): - return ",".join(["req:" + label.replace('.', ':') for label in labels]) - |