From 942b7b8f9cee34ec28a6d509f9f8d06273679fa4 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Mon, 25 Mar 2013 19:48:42 -0700 Subject: Slidy: Use slidy.js rather than slidy.js.gz. Reason: some browsers have trouble with the gzipped js file, at least on the local file system. Closes #795. --- pandoc.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pandoc.cabal') diff --git a/pandoc.cabal b/pandoc.cabal index b5a1a3b79..5ea7e3907 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -87,7 +87,7 @@ Data-Files: data/s5/default/bodybg.gif, -- data for slidy writer data/slidy/styles/slidy.css, - data/slidy/scripts/slidy.js.gz, + data/slidy/scripts/slidy.js, data/slidy/graphics/fold.gif, data/slidy/graphics/unfold.gif, data/slidy/graphics/nofold-dim.gif, -- cgit v1.2.3