diff --git a/.gitignore b/.gitignore index 7feb9a1..bb4725a 100644 --- a/.gitignore +++ b/.gitignore @@ -1,8 +1,8 @@ *.swp *.swo -.ghc.* -*.local -*.local~ +.ghc* +cabal.local +cabal.local~ dist-newstyle/ *.trace *.aux diff --git a/cabal.project b/cabal.project new file mode 100644 index 0000000..12c1832 --- /dev/null +++ b/cabal.project @@ -0,0 +1,4 @@ +packages: + ../poppler-0.14.2/ + ./ +profiling: True