diff options
author | Björn Gustavsson <[email protected]> | 2017-04-21 10:04:41 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2017-04-21 10:04:41 +0200 |
commit | b80a70b1ca7ca73a6f1c0aece098e258a0c45595 (patch) | |
tree | fecd8dd74d0fcb57af5886dff50e620946da40cd /lib/dialyzer/doc/src/Makefile | |
parent | 3f124994d35cbfc5158b89f91c16d4db6615d3fb (diff) | |
parent | 830b575e4d1260e7780a792ffdea81f028d86f9d (diff) | |
download | otp-b80a70b1ca7ca73a6f1c0aece098e258a0c45595.tar.gz otp-b80a70b1ca7ca73a6f1c0aece098e258a0c45595.tar.bz2 otp-b80a70b1ca7ca73a6f1c0aece098e258a0c45595.zip |
Merge branch 'bjorn/dialyzer/add-typer/OTP-14336' into run-travis
* bjorn/dialyzer/add-typer/OTP-14336:
Add smoke test for TypER
Add back TypEr to the main OTP repository
Diffstat (limited to 'lib/dialyzer/doc/src/Makefile')
-rw-r--r-- | lib/dialyzer/doc/src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/doc/src/Makefile b/lib/dialyzer/doc/src/Makefile index 77d0a6fc68..8fe6cd30eb 100644 --- a/lib/dialyzer/doc/src/Makefile +++ b/lib/dialyzer/doc/src/Makefile @@ -34,7 +34,7 @@ RELSYSDIR = $(RELEASE_PATH)/lib/$(APPLICATION)-$(VSN) # Target Specs # ---------------------------------------------------- XML_APPLICATION_FILES = ref_man.xml -XML_REF3_FILES = dialyzer.xml +XML_REF3_FILES = dialyzer.xml typer.xml XML_PART_FILES = part.xml part_notes.xml XML_CHAPTER_FILES = dialyzer_chapter.xml notes.xml |