projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix typos in profiling.xml
[ghc-hetmet.git]
/
libraries
/
gen_contents_index
diff --git
a/libraries/gen_contents_index
b/libraries/gen_contents_index
index
fcf30e3
..
04209fd
100644
(file)
--- a/
libraries/gen_contents_index
+++ b/
libraries/gen_contents_index
@@
-7,7
+7,7
@@
HADDOCK_ARGS=
case $* in
--inplace)
HADDOCK=../inplace/bin/haddock
case $* in
--inplace)
HADDOCK=../inplace/bin/haddock
- for LIB in `grep '^libraries/[^ ]\+ \+- \+[^ ]\+ \+[^ ]\+ \+[^ ]\+' ../packages | sed -e 's#libraries/##' -e 's/ .*//'`
+ for LIB in `grep '^libraries/[^ ]* *- ' ../packages | sed -e 's#libraries/##' -e 's/ .*//'`
do
HADDOCK_FILE="$LIB/dist-install/doc/html/$LIB/$LIB.haddock"
if [ -f "$HADDOCK_FILE" ]
do
HADDOCK_FILE="$LIB/dist-install/doc/html/$LIB/$LIB.haddock"
if [ -f "$HADDOCK_FILE" ]