diff options
author | Andrew Waterman <andrew@sifive.com> | 2019-04-17 12:00:40 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2019-04-17 12:00:40 -0700 |
commit | e3ecc6c00dcfeafb526be5603825259706afc5b3 (patch) | |
tree | 1f131c5a9c3a8bd61775108151081aedbb6471b2 | |
parent | 8b6c812a0ac3d9c7117c535ca6a25d8094fc368f (diff) | |
parent | 3392205530510f02a2d8197a9969a525b6359f7d (diff) | |
download | riscv-isa-manual-e3ecc6c00dcfeafb526be5603825259706afc5b3.zip riscv-isa-manual-e3ecc6c00dcfeafb526be5603825259706afc5b3.tar.gz riscv-isa-manual-e3ecc6c00dcfeafb526be5603825259706afc5b3.tar.bz2 |
Merge branch 'pdonahue-ventana-ligature'
-rw-r--r-- | src/riscv-privileged.tex | 4 | ||||
-rw-r--r-- | src/riscv-spec.tex | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/src/riscv-privileged.tex b/src/riscv-privileged.tex index 2472be1..07673c8 100644 --- a/src/riscv-privileged.tex +++ b/src/riscv-privileged.tex @@ -4,6 +4,10 @@ \documentclass[twoside,11pt]{book} +% Fix copy/pasting of ligatures in Acrobat +\input{glyphtounicode.tex} +\pdfgentounicode=1 % + \input{preamble} \newcommand{\privrev}{\mbox{20190405-Priv-MSU-Ratification}} diff --git a/src/riscv-spec.tex b/src/riscv-spec.tex index 12d34d2..f050947 100644 --- a/src/riscv-spec.tex +++ b/src/riscv-spec.tex @@ -4,6 +4,10 @@ \documentclass[twoside,11pt]{book} +% Fix copy/pasting of ligatures in Acrobat +\input{glyphtounicode.tex} +\pdfgentounicode=1 % + \input{preamble} \newcommand{\specrev}{\mbox{20190305-Base-Ratification}} |