From cd69b727d05e74f607dd98980084fca3c741968f Mon Sep 17 00:00:00 2001
From: Marek Safar <marek.safar@gmail.com>
Date: Wed, 28 Nov 2018 17:47:59 +0100
Subject:  [build] Fixes documentation build profile dependency (#11801)

---
 docs/Makefile.am | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'docs')

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 95519541ea3..61faaeae604 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -52,7 +52,8 @@ EXTRA_DIST = \
 
 -include $(mcs_topdir)/build/config.make
 
-CLASS=$(mcs_topdir)/class/lib/$(DEFAULT_PROFILE)
+DOC_PROFILE:=net_4_x
+CLASS=$(mcs_topdir)/class/lib/$(DOC_PROFILE)
 
 dist-hook:
 	$(mkdir_p)  $(distdir)/sources
@@ -68,7 +69,7 @@ clean-local:
 	-rm -f deploy/* convert.exe* AgilityPack.dll*
 	-rm -f $(ASSEMBLED_DOCS)
 
-TOOL_MAKE=$(MAKE) -f $(srcdir)/docs.make topdir=$(srcdir)/../mcs srcdir=$(srcdir)
+TOOL_MAKE=$(MAKE) -f $(srcdir)/docs.make topdir=$(srcdir)/../mcs srcdir=$(srcdir) PROFILE=$(DOC_PROFILE)
 
 monoapi.zip: monoapi.tree
 
-- 
cgit v1.2.3