diff options
| author | Jens Petersen <petersen@redhat.com> | 2014-02-11 22:06:01 +0900 |
|---|---|---|
| committer | Jens Petersen <petersen@redhat.com> | 2014-02-11 22:06:01 +0900 |
| commit | 3f80e38a43b3cfb328490259c15418ab51c774c1 (patch) | |
| tree | 083d6cb556f41b64308d1b4a9a1f904590af8302 /tools/ghc/ghc-gen_contents_index-type-level.patch | |
| parent | 02714f7f0c6fc2abc45fa4332c69f0645e327502 (diff) | |
| download | pandoc-standalone-3f80e38a43b3cfb328490259c15418ab51c774c1.tar.gz pandoc-standalone-3f80e38a43b3cfb328490259c15418ab51c774c1.tar.xz pandoc-standalone-3f80e38a43b3cfb328490259c15418ab51c774c1.zip | |
tools: import spec files of all packages needed to build pandoc
Diffstat (limited to 'tools/ghc/ghc-gen_contents_index-type-level.patch')
| -rw-r--r-- | tools/ghc/ghc-gen_contents_index-type-level.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/ghc/ghc-gen_contents_index-type-level.patch b/tools/ghc/ghc-gen_contents_index-type-level.patch new file mode 100644 index 0000000..05a9e42 --- /dev/null +++ b/tools/ghc/ghc-gen_contents_index-type-level.patch @@ -0,0 +1,12 @@ +diff -u ghc-6.12.3/libraries/gen_contents_index\~ ghc-6.12.3/libraries/gen_contents_index +--- ghc-6.12.3/libraries/gen_contents_index~ 2010-09-14 13:03:12.000000000 +1000 ++++ ghc-6.12.3/libraries/gen_contents_index 2010-11-04 16:41:32.000000000 +1000 +@@ -24,7 +24,7 @@ + *) + HADDOCK=/usr/bin/haddock + # We don't want the GHC API to swamp the index +- HADDOCK_FILES=`ls -1 */*.haddock | grep -v '/ghc\.haddock' | sort` ++ HADDOCK_FILES=`ls -1 */*.haddock | grep -v '/ghc\.haddock' | grep -v '/type-level\.haddock' | sort` + for HADDOCK_FILE in $HADDOCK_FILES + do + NAME_VERSION=`echo "$HADDOCK_FILE" | sed 's#/.*##'` |