diff options
| author | Paul Donahue <pdonahue@ventanamicro.com> | 2019-04-17 10:06:03 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2019-04-17 12:00:28 -0700 |
| commit | 3392205530510f02a2d8197a9969a525b6359f7d (patch) | |
| tree | 1f131c5a9c3a8bd61775108151081aedbb6471b2 /src | |
| parent | 8b6c812a0ac3d9c7117c535ca6a25d8094fc368f (diff) | |
| download | riscv-isa-manual-3392205530510f02a2d8197a9969a525b6359f7d.zip riscv-isa-manual-3392205530510f02a2d8197a9969a525b6359f7d.tar.gz riscv-isa-manual-3392205530510f02a2d8197a9969a525b6359f7d.tar.bz2 | |
Finesse ligatures to work with Adobe Acrobat Reader search and cut-and-paste
Diffstat (limited to 'src')
| -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}} |