From 81d838ae81de9079ab69596163ec43ede298bea3 Mon Sep 17 00:00:00 2001
From: Takahiro Ueda <tueda@nikhef.nl>
Date: Sat, 8 Apr 2017 10:28:44 +0200
Subject: [PATCH] [build][doc] Include spectators.tex

---
 doc/manual/Makefile.am   | 1 +
 doc/manual/manual.tex.in | 1 +
 2 files changed, 2 insertions(+)

diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index ba978111..3744f15e 100644
--- a/doc/manual/Makefile.am
+++ b/doc/manual/Makefile.am
@@ -15,6 +15,7 @@ TEXSRC = \
 	prepro.tex \
 	setup.tex \
 	sorting.tex \
+	spectators.tex \
 	startup.tex \
 	statements.tex \
 	tablebas.tex \
diff --git a/doc/manual/manual.tex.in b/doc/manual/manual.tex.in
index a923afb5..a1f03d96 100644
--- a/doc/manual/manual.tex.in
+++ b/doc/manual/manual.tex.in
@@ -116,6 +116,7 @@
 \input{@srcdir@/setup}
 \input{@srcdir@/parallel}
 \input{@srcdir@/external}
+\input{@srcdir@/spectators}
 
 \printindex