From 6146def665803be4f37eedee0d81b2f807e1b3f7 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Mon, 13 Aug 2018 17:45:23 -0400
Subject: [doc] Remove an empty '.. bibliography::' in addendum/program

---
 doc/sphinx/addendum/program.rst | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/doc/sphinx/addendum/program.rst b/doc/sphinx/addendum/program.rst
index d6895f5fe5..78471700be 100644
--- a/doc/sphinx/addendum/program.rst
+++ b/doc/sphinx/addendum/program.rst
@@ -378,6 +378,3 @@ Frequently Asked Questions
        using lazy evaluation;
     #. Mutual recursion on the underlying inductive type isn’t possible
        anymore, but nested mutual recursion is always possible.
-
-.. bibliography:: ../biblio.bib
-   :keyprefix: p-
-- 
cgit v1.2.3