From d7ae73f1c7c5b95f1f08dadd314fa7143602b523 Mon Sep 17 00:00:00 2001
From: gdetrez <gdetrez@crans.org>
Date: Sat, 11 Dec 2010 16:36:30 +0000
Subject: Adding an option to the gf compiler to add an index to pgf files

This is gonna be used by the android library to skip unused part of a
pgf file
---
 gf.cabal | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gf.cabal')

diff --git a/gf.cabal b/gf.cabal
index a0333a706..9d23e0dde 100644
--- a/gf.cabal
+++ b/gf.cabal
@@ -145,6 +145,7 @@ executable gf
     GF.Compile.PGFtoProlog
     GF.Compile.PGFtoJS
     GF.Compile
+    GF.Index
     GF.Quiz
     PGF
     PGF.CId
-- 
cgit v1.2.3