8000 [bikeshed] Replace texttt with tt · WebAssembly/spec@b5aadb9 · GitHub
[go: up one dir, main page]
Skip to content

Commit b5aadb9

Browse files
rossbergrossberg
committed
[bikeshed] Replace texttt with tt
1 parent c578a1c commit b5aadb9

File tree

2 files changed

+1
-0
lines changed

2 files changed

+1
-0
lines changed

‎document/core/util/mathjax2katex.py‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -71,6 +71,7 @@ def ReplaceMath(cache, data):
7171
data = data.replace('\u2019', '\'') # "Right Single Quotation Mark" messed up by Bikeshed
7272
data = data.replace('\\hfill', ' ')
7373
data = data.replace('\\mbox', '\\text')
74+
data = data.replace('\\texttt{', '{\\tt ')
7475
data = data.replace('\\begin{split}', '\\begin{aligned}')
7576
data = data.replace('\\end{split}', '\\end{aligned}')
7677
data = re.sub('\\\\multicolumn\\{[2-9]\\}\\{@\\{\\}l@\\{\\}\\}', '', data) # Katex can't handle it

‎spectec/doc/example/output/NanoWasm.pdf‎

0 Bytes
Binary file not shown.

0 commit comments

Comments
 (0)
0