Fix markup

1 files changed, 1 insertions, 0 deletions

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");
 ?>