patch applied (ghc): Improved naming of generated HTML files by using nice IDs

[Sven Panne]

Wed Feb  7 08:34:04 PST 2007  sven.panne at aedion.de
  * Improved naming of generated HTML files by using nice IDs

    M ./docs/users_guide/5-00-notes.xml -5 +5
    M ./docs/users_guide/5-04-notes.xml -1 +1
    M ./docs/users_guide/6.6-notes.xml -2 +2
    M ./docs/users_guide/ffi-chap.xml -3 +3
    M ./docs/users_guide/flags.xml -1 +1
    M ./docs/users_guide/ghci.xml -3 +3
    M ./docs/users_guide/glasgow_exts.xml -6 +6
    M ./docs/users_guide/gone_wrong.xml -1 +1
    M ./docs/users_guide/installing.xml -13 +13
    M ./docs/users_guide/parallel.xml -1 +1
    M ./docs/users_guide/phases.xml -1 +1
    M ./docs/users_guide/runtime_control.xml -2 +2
    M ./docs/users_guide/separate_compilation.xml -3 +3
    M ./docs/users_guide/using.xml -4 +4
    M ./docs/users_guide/win32-dlls.xml -4 +4