Update and alphabetise author list in manual

2 files changed, 3 insertions, 2 deletions

diff --git a/doc/manual.tex b/doc/manual.tex
index 1645f735..3b75b26a 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -64,8 +64,9 @@
 
 \title{The Sail instruction-set semantics specification language}
 
-\author{Kathryn E. Gray \and Peter Sewell \and Christopher Pulte \and
-  Shaked Flur \and Robert Norton-Wright \and Alasdair Armstrong \and Thomas Bauereiss}
+\author{Alasdair Armstrong \and Thomas Bauereiss \and Brian Campbell \and
+  Shaked Flur \and Kathryn E. Gray \and Robert Norton-Wright \and Christopher Pulte \and
+  Peter Sewell}
 
 \maketitle
 
diff --git a/manual.pdf b/manual.pdf
index 2e501ffa..45715da7 100644
--- a/manual.pdf
+++ b/manual.pdf