aboutsummaryrefslogtreecommitdiff
path: root/scripts/tex.py
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/tex.py')
-rw-r--r--scripts/tex.py3
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])
+