diff options
Diffstat (limited to 'scripts/tex.py')
| -rw-r--r-- | scripts/tex.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/tex.py b/scripts/tex.py index b044857..2fd51d8 100644 --- a/scripts/tex.py +++ b/scripts/tex.py @@ -41,3 +41,6 @@ def esc(plain): def tabrule(*cells): return "&".join(cells) + "\\\\" +def label2ref(*labels): + return ",".join(["req:" + label.replace('.', ':') for label in labels]) + |