Ticket #2764: ghc-6.10.1-gen_contexts_index.patch

File ghc-6.10.1-gen_contexts_index.patch, 565 bytes (added by juhpetersen, 5 years ago)

here is a better version with a space at the end

  • ghc-6.10.1/libraries/gen_contents_index

    diff -u ghc/libraries/gen_contents_index~ ghc/libraries/gen_contents_index
    old new  
    2323 
    2424for HADDOCK_FILE in $HADDOCK_FILES 
    2525do 
    26     NAME=` echo "$HADDOCK_FILE" | sed 's#/dist/.*##' | sed 's#.*/##' ` 
     26    NAME=` echo "$HADDOCK_FILE" | sed 's#/dist/.*##' | sed 's#.*/##' | sed 's#\.haddock##' ` 
    2727    HADDOCK_ARGS="$HADDOCK_ARGS --read-interface=$NAME,$HADDOCK_FILE" 
    2828    NAMES="$NAMES $NAME" 
    2929done