.PHONY : bug haddock install test test-help version test-help: cabal run agda2lagda -- --help version : cabal run agda2lagda -- --version test : cabal run agda2lagda -- -v --force -o test/out/ test/Foo.agda cabal run agda2lagda -- -v --force -o test/Foo-generated.lagda test/Foo.agda bug : cabal run agda2lagda -- --dry-run test/ClosingCommentInString.agda install : cabal install haddock : cabal v1-haddock --executables # EOF