aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKevin Broch <kbroch@rivosinc.com>2024-05-08 08:54:32 -0700
committerKevin Broch <kbroch@rivosinc.com>2024-05-08 08:54:32 -0700
commit5c97c7db90c69fd1da71f233ab8bf0624a615431 (patch)
treed33e489f1281d594761994b2206e1b17fe670520
parent7b8ddc9f58b858265525b59f45bfca961f805b6b (diff)
downloadriscv-isa-manual-5c97c7db90c69fd1da71f233ab8bf0624a615431.zip
riscv-isa-manual-5c97c7db90c69fd1da71f233ab8bf0624a615431.tar.gz
riscv-isa-manual-5c97c7db90c69fd1da71f233ab8bf0624a615431.tar.bz2
Change listing prefixed label to "Listing" and add example prefixed label
relates to https://github.com/riscv-admin/docs-sig/issues/40 Signed-off-by: Kevin Broch <kbroch@rivosinc.com>
-rw-r--r--src/riscv-privileged.adoc9
-rw-r--r--src/riscv-unprivileged.adoc157
2 files changed, 84 insertions, 82 deletions
diff --git a/src/riscv-privileged.adoc b/src/riscv-privileged.adoc
index ffd1da7..1074955 100644
--- a/src/riscv-privileged.adoc
+++ b/src/riscv-privileged.adoc
@@ -31,18 +31,19 @@
:bibtex-throw: false
:icons: font
:lang: en
-:listing-caption: Example
+:example-caption: Example
+:listing-caption: Listing
:sectnums:
:sectnumlevels: 5
:toc: left
-:toclevels: 4
+:toclevels: 4
:source-highlighter: pygments
ifdef::backend-pdf[]
:source-highlighter: rouge
endif::[]
:table-caption: Table
:figure-caption: Figure
-:xrefstyle: short
+:xrefstyle: short
:chapter-refsig: Chapter
:section-refsig: Section
:appendix-refsig: Appendix
@@ -73,7 +74,7 @@ _This document is released under a Creative Commons Attribution 4.0 Internationa
_This document is a derivative of the RISC-V
privileged specification version 1.9.1 released under following license: ©2010-2017 Andrew Waterman, Yunsup Lee, Rimas
-Avižienis,
+Avižienis,
David Patterson, Krste Asanović. Creative Commons Attribution 4.0 International License._
include::priv-preface.adoc[]
diff --git a/src/riscv-unprivileged.adoc b/src/riscv-unprivileged.adoc
index 4718ea3..5ea062d 100644
--- a/src/riscv-unprivileged.adoc
+++ b/src/riscv-unprivileged.adoc
@@ -28,7 +28,8 @@
:bibtex-throw: false
:icons: font
:lang: en
-:listing-caption: Example
+:example-caption: Example
+:listing-caption: Listing
:sectnums:
:toc: left
:toclevels: 5
@@ -38,7 +39,7 @@ ifdef::backend-pdf[]
endif::[]
:table-caption: Table
:figure-caption: Figure
-:xrefstyle: short
+:xrefstyle: short
:chapter-refsig: Chapter
:section-refsig: Section
:appendix-refsig: Appendix
@@ -56,90 +57,90 @@ endif::[]
_Contributors to all versions of the spec in alphabetical order (please contact editors to suggest
corrections): Derek Atkins,
Arvind,
-Krste Asanović,
-Rimas Avižienis,
-Jacob Bachmeyer,
-Christopher F. Batten,
-Allen J. Baum,
-Abel Bernabeu,
-Alex Bradbury,
-Scott Beamer,
-Hans Boehm,
-Preston Briggs,
-Christopher Celio,
-Chuanhua Chang,
-David Chisnall,
-Paul Clayton,
-Palmer Dabbelt,
+Krste Asanović,
+Rimas Avižienis,
+Jacob Bachmeyer,
+Christopher F. Batten,
+Allen J. Baum,
+Abel Bernabeu,
+Alex Bradbury,
+Scott Beamer,
+Hans Boehm,
+Preston Briggs,
+Christopher Celio,
+Chuanhua Chang,
+David Chisnall,
+Paul Clayton,
+Palmer Dabbelt,
L Peter Deutsch,
-Ken Dockser,
-Paul Donahue,
-Aaron Durbin,
-Roger Espasa,
-Greg Favor,
-Andy Glew,
-Shaked Flur,
-Stefan Freudenberger,
-Marc Gauthier,
-Andy Glew,
-Jan Gray,
+Ken Dockser,
+Paul Donahue,
+Aaron Durbin,
+Roger Espasa,
+Greg Favor,
+Andy Glew,
+Shaked Flur,
+Stefan Freudenberger,
+Marc Gauthier,
+Andy Glew,
+Jan Gray,
Gianluca Guida,
-Michael Hamburg,
-John Hauser,
-John Ingalls,
-David Horner,
-Bruce Hoult,
-Bill Huffman,
-Alexandre Joannou,
-Olof Johansson,
-Ben Keller,
-David Kruckemyer,
-Tariq Kurd,
-Yunsup Lee,
-Paul Loewenstein,
-Daniel Lustig,
-Yatin Manerkar,
-Luc Maranget,
+Michael Hamburg,
+John Hauser,
+John Ingalls,
+David Horner,
+Bruce Hoult,
+Bill Huffman,
+Alexandre Joannou,
+Olof Johansson,
+Ben Keller,
+David Kruckemyer,
+Tariq Kurd,
+Yunsup Lee,
+Paul Loewenstein,
+Daniel Lustig,
+Yatin Manerkar,
+Luc Maranget,
Ben Marshall,
-Margaret Martonosi,
-Phil McCoy,
+Margaret Martonosi,
+Phil McCoy,
Nathan Menhorn,
-Christoph Müllner,
-Joseph Myers,
-Vijayanand Nagarajan,
-Rishiyur Nikhil,
-Jonas Oberhauser,
-Stefan O'Rear,
+Christoph Müllner,
+Joseph Myers,
+Vijayanand Nagarajan,
+Rishiyur Nikhil,
+Jonas Oberhauser,
+Stefan O'Rear,
Markku-Juhani O. Saarinen,
-Albert Ou,
-John Ousterhout,
+Albert Ou,
+John Ousterhout,
Daniel Page,
-David Patterson,
-Christopher Pulte,
-Jose Renau,
-Josh Scheid,
-Colin Schmidt,
-Peter Sewell,
-Susmit Sarkar,
-Ved Shanbhogue,
+David Patterson,
+Christopher Pulte,
+Jose Renau,
+Josh Scheid,
+Colin Schmidt,
+Peter Sewell,
+Susmit Sarkar,
+Ved Shanbhogue,
Brent Spinney,
-Brendan Sweeney,
-Michael Taylor,
-Wesley Terpstra,
-Matt Thomas,
-Tommy Thorn,
-Philipp Tomsich,
-Caroline Trippel,
-Ray VanDeWalker,
-Muralidaran Vijayaraghavan,
-Megan Wachs,
-Paul Wamsley,
-Andrew Waterman,
-Robert Watson,
-David Weaver,
-Derek Williams,
+Brendan Sweeney,
+Michael Taylor,
+Wesley Terpstra,
+Matt Thomas,
+Tommy Thorn,
+Philipp Tomsich,
+Caroline Trippel,
+Ray VanDeWalker,
+Muralidaran Vijayaraghavan,
+Megan Wachs,
+Paul Wamsley,
+Andrew Waterman,
+Robert Watson,
+David Weaver,
+Derek Williams,
Claire Wolf,
-Andrew Wright,
+Andrew Wright,
Reinoud Zandijk,
and Sizhuo Zhang._