From 494cd44eafb5f33338303dbf841ca354f1567aff Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 11 Jan 2017 10:09:09 +0000
Subject: [PATCH] Update to match official afp entry.

---
 UPF_Firewall/ROOT | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/UPF_Firewall/ROOT b/UPF_Firewall/ROOT
index 4dc6ffa..6416d72 100644
--- a/UPF_Firewall/ROOT
+++ b/UPF_Firewall/ROOT
@@ -1,6 +1,8 @@
-session "UPF-Firewall" (AFP) = UPF +
+chapter AFP
+
+session "UPF_Firewall" (AFP) = UPF +
   description {* Formal Network Models and Their Application to Firewall Policies *}
-  options [timeout=600, document=pdf, document_output=document_generated, document_variants="document:outline=/proof,/ML"]
+  options [timeout=600]
   theories
     "Examples/Examples"
   document_files