###########################################################################
#
# Parameters
#


dataimdb:
        (cd ..; rm -f imdb; $(MAKE) top=2ltxpathpartialpf/Examples/DataImdbExample.hs extraOpts="-i2ltpartialpf:2ltxpathpartialpf -o Main" ghc; mv Main 2ltxpathpartialpf/imdb)

tagimdb:
        (cd ..; rm -f imdb; $(MAKE) top=2ltxpath/Examples/TagImdbExample.hs extraOpts="-i2ltxpath -o Main" ghc; mv Main 2ltxpath/imdb)