diff --git a/doc/sphinx/Makefile.am b/doc/sphinx/Makefile.am
index c3abd4389a..eac75d0a38 100644
--- a/doc/sphinx/Makefile.am
+++ b/doc/sphinx/Makefile.am
@@ -106,10 +106,13 @@ $(srcdir)/kea-messages.rst: $(mes_files) mes2doc.py
 $(srcdir)/api.rst: $(api_files) api2doc.py
 	$(PYTHON) $(srcdir)/api2doc.py -o $@ $(api_files)
 
+link:
+	rm -f $(srcdir)/arm/platforms.rst
+	ln -s $(srcdir)/../../../platforms.rst $(srcdir)/arm/platforms.rst
 
 PDFLATEX_AND_OPTS=$(PDFLATEX) -interaction nonstopmode
 
-pdf: $(main_sources)
+pdf: $(main_sources) link
 	$(SPHINXBUILD) -M latex $(srcdir) $(sphinxbuilddir) $(sphinxopts)
 	-cd $(sphinxbuilddir)/latex && $(PDFLATEX_AND_OPTS) kea-arm.tex
 	-cd $(sphinxbuilddir)/latex && $(PDFLATEX_AND_OPTS) kea-arm.tex
@@ -124,7 +127,7 @@ pdf: $(main_sources)
 	-cd $(sphinxbuilddir)/latex && $(PDFLATEX_AND_OPTS) kea-messages.tex
 	cd $(sphinxbuilddir)/latex && $(PDFLATEX_AND_OPTS) kea-messages.tex
 
-html: $(main_sources)
+html: $(main_sources) link
 	$(SPHINXBUILD) -M html $(srcdir) $(sphinxbuilddir) $(sphinxopts)
 
 # This target is not used anywhere, but people who prefer single page docs