From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 20 Aug 2019 11:28:01 +0000 (+0100)
Subject: doc/Makefile.am: Add missing entry for `refintro.tex'.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/bdcacad3a7c6862c964434d8fa10e8313e2aa58a

doc/Makefile.am: Add missing entry for `refintro.tex'.
---

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 5f090d8..9812bd9 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -55,6 +55,7 @@ TEX_FILES		+= intro.tex
 TEX_FILES		+= tutorial.tex
 
 ## Reference.
+TEX_FILES		+= refintro.tex
 TEX_FILES		+= concepts.tex
 ##TEX_FILES		+= cmdline.tex
 TEX_FILES		+= syntax.tex