From b7582af1bf58b82b4091590b12e8287a02698639 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 May 2001 16:29:21 +0000
Subject: Fix quotes.

---
 etc/ProofGeneral.menu | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/ProofGeneral.menu b/etc/ProofGeneral.menu
index 1156094f..8264de65 100644
--- a/etc/ProofGeneral.menu
+++ b/etc/ProofGeneral.menu
@@ -1,6 +1,6 @@
 ?package(ProofGeneral):\
   needs=X11\
-  section=Applications/Sciences/Computer Science\
+  section="Applications/Sciences/Computer Science"\
   title="Proof General"\
   longtitle="A generic interface for interactive theorem provers"\
   command="/usr/bin/proofgeneral"\
-- 
cgit v1.2.3