diff options
Diffstat (limited to 'Mk/Scripts/check_leftovers.sh')
| -rw-r--r-- | Mk/Scripts/check_leftovers.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Mk/Scripts/check_leftovers.sh b/Mk/Scripts/check_leftovers.sh index 3233e23f25e4..c7d00121006e 100644 --- a/Mk/Scripts/check_leftovers.sh +++ b/Mk/Scripts/check_leftovers.sh @@ -150,6 +150,12 @@ while read modtype path extra; do # xmlcatmgr is constantly updating catalog.ports ignore # modification to that file share/xml/catalog.ports) ;; + # Ignore ghc's doc index + share/doc/ghc-%%GHC_VERSION%%/*) ;; + share/doc/ghc-%%GHC_VERSION%%/html/libraries/%%PORTNAME%%-%%PORTVERSION%%/html) ;; + # Ignore ghc's package conf + lib/ghc-%%GHC_VERSION%%/package.conf.d/*) ;; + lib/ghc-%%GHC_VERSION%%/package.conf.d/%%PORTNAME%%-%%PORTVERSION%%.conf) ;; # Ignore common system config files /etc/group|\ /etc/make.conf|\ |