From 6ff6104ec06c9410fd616175f2d27807b7789801 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 22:55:07 +0000
Subject: Fix markup

---
 html/FAQ | 1 +
 1 file changed, 1 insertion(+)

(limited to 'html/FAQ')

diff --git a/html/FAQ b/html/FAQ
index c022d401..4422a8f0 100644
--- a/html/FAQ
+++ b/html/FAQ
@@ -1,4 +1,5 @@
 <?php require('functions.php3');
+      require('elispmarkup.php3');
       fileshowmarkup("ProofGeneral/FAQ",
 		     "Frequently Asked Questions about using Proof General");
 ?>
-- 
cgit v1.2.3