From 467419ad4783e776bec2ee444acc297b0c41390f Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 29 Aug 2019 15:51:03 +0200
Subject: include licenses in PDF

---
 conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'conf.py')

diff --git a/conf.py b/conf.py
index 33744f84..89b246ab 100644
--- a/conf.py
+++ b/conf.py
@@ -247,7 +247,7 @@ latex_documents = [
 #latex_show_urls = False
 
 # Documents to append as an appendix to all manuals.
-#latex_appendices = []
+latex_appendices = ["fdl-1.3"]
 
 # If false, no module index is generated.
 #latex_domain_indices = True
-- 
cgit v1.2.3