[ build ] command line CABAL_OPTIONS shouldn't override Makefile options
[ issue1213 ] fixed shadowing bug in occursCheck on levels
[ issue1213 ] test case
Merge branch 'issue1213'
[ hTags ] Fixed file handle leak.
[ tags ] fixed path in src/full/Makefile
[ tags ] fixed Makefile dependency for hTags
Merge fix-tags
Merge remote-tracking branch 'upstream/master'