diff options
author | Lukas Larsson <lukas@erlang.org> | 2020-02-21 10:19:05 +0100 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2020-02-24 10:02:51 +0100 |
commit | 48ecc7a66a23be4d3b8bb7976aaae0ba8e72f0e8 (patch) | |
tree | 666910810e54cc16652603cb1ccf05fa8b4d3601 /lib/reltool | |
parent | 31c270cc9d696763dfbdf0d4438142e87dbb95ec (diff) | |
download | erlang-48ecc7a66a23be4d3b8bb7976aaae0ba8e72f0e8.tar.gz |
Add DOC_TARGETS makefile variable
The variable can be set to pdf, html, man or chunks
and also any combination of the above.
Diffstat (limited to 'lib/reltool')
-rw-r--r-- | lib/reltool/doc/src/files.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/reltool/doc/src/files.mk b/lib/reltool/doc/src/files.mk index efd7d8f09c..46288d0f50 100644 --- a/lib/reltool/doc/src/files.mk +++ b/lib/reltool/doc/src/files.mk @@ -37,3 +37,6 @@ BOOK_FILES = book.xml IMAGE_FILES = +XML_FILES = \ + $(BOOK_FILES) $(XML_CHAPTER_FILES) \ + $(XML_PART_FILES) $(XML_REF3_FILES) $(XML_APPLICATION_FILES) |