diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-01-29 22:26:18 +1100 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-01-29 22:35:10 +1100 |
| commit | ec97e5a7fb9f1cb3a53383012a7258c33aba60f6 (patch) | |
| tree | 33997a91ae768c90058c5de23677b17f9bdb506c /.gitignore | |
| parent | 0187eeda2cd6eca3ebfcbb11dac551e7e6c60325 (diff) | |
add ctags generation
I need to clean up the path to hasktags. Ideally by packaging it in Debian.
Not using ghci's own tags generation because it falls over on pre-compiled
files.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index eb4a997c5..e4cb43383 100644 --- a/.gitignore +++ b/.gitignore @@ -22,3 +22,4 @@ cabal-dev # OSX related .DS_Store .virthualenv +tags |