Summary of changes: bd7f38e... add ghc_exclude_docdir to exclude docdir from filelists (*) 0b163b3... add ghc_bootstrapping to ghc_bootstrap; fix ghc-deps.sh whe (*) (*) This commit already existed in another branch; no separate mail sent