diff options
| author |  Miika Turkia <miika.turkia@gmail.com> | 2016-06-19 08:53:08 +0300 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2016-06-20 18:39:49 -0700 |
| commit | 58690f324900cf6f093eb732a792e02716ac43d6 (patch) | |
| tree | 3565fcea07faf116ca82c29d2279e36413a184ca | |
| parent | d918289a0456230788a4135721eaf995b41c9950 (diff) | |
| download | subsurface-58690f324900cf6f093eb732a792e02716ac43d6.tar.gz | |
Enable creation of mobile-manual
Signed-off-by: Miika Turkia <miika.turkia@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index a5f452f5c..74da76ebe 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 +DOCNAMES = user-manual user-manual_es user-manual_fr user-manual_ru mobile-manual HTMLDOCS = $(patsubst %,$(OUT)%.html,$(DOCNAMES)) TEXTDOCS = $(patsubst %,$(OUT)%.text,$(DOCNAMES)) |