otp.git/system, branch OTP-20.2.3

Merge branch 'lukas/system/improve_profile_docs/OTP-14633' into maint

2017-11-20T09:52:30+00:00

* lukas/system/improve_profile_docs/OTP-14633:
  erts: Add term2bin note about encoding guarantee
  Fix broken link in INSTALL howto
  system: Add info to profiling effeciency guide
  Update message queue and pinfo binary docs
  kernel: Clarify gen_tcp:listen documentation
  system: Add External OSS tools section to profiling guilde

Merge branch 'lukas/docs/xmllint_fixes/OTP-14721' into maint

2017-11-20T09:15:07+00:00

* lukas/docs/xmllint_fixes/OTP-14721:
  ssl/ssh: Remove/ignore unused XML_FILES doc files
  Refactor xmllint check and make it fail on failure
  Add toplevel xmllint make target

Conflicts:
	lib/crypto/doc/src/Makefile

Refactor xmllint check and make it fail on failure

2017-10-31T12:46:05+00:00

This commit also adds a check to see that all files that
are part of an xi:include also have part of XML_FILES
and vice versa. It also fixes any applications where this
was not true.

system: Add info to profiling effeciency guide

2017-10-31T09:42:56+00:00

system: Add External OSS tools section to profiling guilde

2017-10-31T09:27:13+00:00

Remove one superfluous closing parenthesis in oam_intro.xml

2017-10-29T11:04:12+00:00

Merge branch 'lars/doc-cleanup/OTP-14475' into maint

2017-10-10T08:18:07+00:00

* lars/doc-cleanup/OTP-14475:
  [edoc] Remove unused module otpsgml_layout.erl
  Remove unused files from the documentation build

Fix xmllint warning

2017-09-28T14:51:59+00:00

Remove unused files from the documentation build

2017-09-28T10:09:29+00:00

Update copyright year

2017-09-21T10:29:06+00:00