From a7cdac6b99e139cee5fd65012c85a338e35c6a59 Mon Sep 17 00:00:00 2001
From: Oscar Dowson <odow@users.noreply.github.com>
Date: Tue, 9 Nov 2021 14:00:56 +1300
Subject: [PATCH] [docs] Remove release_notes.md from pdf build

---
 docs/make.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/make.jl b/docs/make.jl
index 6aab1f9764..3e75083357 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -99,6 +99,8 @@ const _PAGES = [
 
 if _PDF
     latex_platform = _IS_GITHUB_ACTIONS ? "docker" : "native"
+    # Remove the Release Notes; we don't need them in the PDF.
+    pop!(_PAGES)
     @time Documenter.makedocs(
         sitename = "MathOptInterface",
         authors = "The JuMP core developers and contributors",