aboutsummaryrefslogtreecommitdiffstats
path: root/Documentation
diff options
context:
space:
mode:
authorGravatar Dirk Hohndel <dirk@hohndel.org>2020-05-05 18:25:57 -0700
committerGravatar Dirk Hohndel <dirk@hohndel.org>2020-05-05 18:25:57 -0700
commit50a89eba6659192f25c3d512a8b09830329b3997 (patch)
treec65580091731dbc05a1644d89e50b816366ae65a /Documentation
parent70ebc2bee7bc01e0758b7608cfbbe2e8a945c062 (diff)
downloadsubsurface-50a89eba6659192f25c3d512a8b09830329b3997.tar.gz
documentation: fix makefile
This one was my fault, not Willems (since I edited his commit). Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile
index 1df632af6..390c9c6a1 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -7,7 +7,7 @@
# submitting patches to the user manual, only submit the changes to the .txt
# file - the maintainer will recreate the .html.git file
-DOCNAMES = user-manual user-manual_es user-manual_fr user-manual_ru user-manual_nl mobile-manual mobile-manual-v3
+DOCNAMES = user-manual user-manual_es user-manual_fr user-manual_ru user-manual_nl mobile-manual-v2 mobile-manual-v3
HTMLDOCS = $(patsubst %,$(OUT)%.html,$(DOCNAMES))
TEXTDOCS = $(patsubst %,$(OUT)%.text,$(DOCNAMES))