From 5195e52844c6314e2a9e7721479135a8d39e7f7b Mon Sep 17 00:00:00 2001
From: xvrabcov <xvrabcov@fi.muni.cz>
Date: Mon, 22 Mar 2021 13:32:31 +0100
Subject: [PATCH] Added the tex file to userExampleSources in Makefile

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index bd67a45..e37299f 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,8 @@ MAKES=guide/mu/Makefile guide/mu/resources/Makefile \
 	style/mu/Makefile test/Makefile test/mu/blind/Makefile \
 	test/mu/compare/Makefile test/mu/compare-example/Makefile
 USEREXAMPLE_SOURCES=example/mu/Makefile example/mu/example.dtx \
-	example/mu/*.ins example/mu/latexmkrc
+	example/mu/*.ins example/mu/latexmkrc \
+	example/mu/example-terms-abbrs.tex
 USEREXAMPLES=example/mu/econ-lualatex.pdf \
 	example/mu/econ-pdflatex.pdf example/mu/fi-lualatex.pdf \
 	example/mu/fi-pdflatex.pdf example/mu/fsps-lualatex.pdf \
-- 
GitLab