From f3af7cf7170246c9e324e78a0fa9e7207ae877f7 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Mon, 23 Oct 2017 13:17:20 +0200 Subject: ssl/ssh: Remove/ignore unused XML_FILES doc files --- lib/ssl/doc/src/Makefile | 1 - 1 file changed, 1 deletion(-) (limited to 'lib/ssl/doc/src/Makefile') diff --git a/lib/ssl/doc/src/Makefile b/lib/ssl/doc/src/Makefile index 0e1f026d46..f9128e8e45 100644 --- a/lib/ssl/doc/src/Makefile +++ b/lib/ssl/doc/src/Makefile @@ -46,7 +46,6 @@ XML_CHAPTER_FILES = \ ssl_introduction.xml \ ssl_protocol.xml \ using_ssl.xml \ - pkix_certs.xml \ ssl_distribution.xml \ notes.xml -- cgit v1.2.3