Ticket #2764: ghc-doc-gen-index.patch

File ghc-doc-gen-index.patch, 550 bytes (added by juhpetersen, 5 years ago)

patch remove ".haddock" from url paths to html files

  • ghc/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