diff options
| author | Lukas Larsson <[email protected]> | 2018-08-29 15:09:18 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2019-04-04 12:30:20 +0200 |
| commit | cbef7064ee299f9463c2b6a0a274fe6603aedae9 (patch) | |
| tree | cc6887b0a2c8dd924848dde7208b31bceef55b2a /make | |
| parent | e05c018328cbb0b473817e5d689ba8118442757b (diff) | |
| download | otp-cbef7064ee299f9463c2b6a0a274fe6603aedae9.tar.gz otp-cbef7064ee299f9463c2b6a0a274fe6603aedae9.tar.bz2 otp-cbef7064ee299f9463c2b6a0a274fe6603aedae9.zip | |
erts: Fix more internal docs xmllint
Diffstat (limited to 'make')
| -rw-r--r-- | make/otp_release_targets.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/otp_release_targets.mk b/make/otp_release_targets.mk index d1fbf6c58f..615bf1adb7 100644 --- a/make/otp_release_targets.mk +++ b/make/otp_release_targets.mk @@ -156,7 +156,7 @@ endif ## These are the patterns of file names that xmllint cannot currently parse -XI_INC_FILES:=%user_man.xml %usersguide.xml %refman.xml %ref_man.xml %part.xml %book.xml +XI_INC_FILES:=%user_man.xml %usersguide.xml %refman.xml %ref_man.xml %part.xml %book.xml %internal.xml ## These are the files that we should run the xmllint on LINT_XI_INC_FILES := $(filter-out $(XI_INC_FILES), $(ALL_XI_INC_FILES)) |