Re: Uninstalling cabal-installed pandoc

["R (Chandra) Chandrasekhar" <chyavana-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>]

On 01/04/12 23:45, John MacFarlane wrote:

> Did you append the path $HOME/.cabal/share/man to MANPATH?
> That works on my system (debian + cabal-installed pandoc).

My $HOME/.bashrc file has the line:

MANPATH=$MANPATH:$HOME/.cabal/share/man/; export MANPATH

Yet, on doing `man pandoc` after running `source $HOME/.bashrc`, I get this:

Manual page pandoc(1) line ?/? (END) (press h for help or q to quit)

`which pandoc` points to the cabal-installed version and I have removed 
and purged the version 1.8.n package from the Ubuntu/Debian repos.

On further investigation, I have found that markdown2pdf.1 exists in 
$HOME/.cabal/share/man/man1 whereas the file 
$HOME/.cabal/share/man/man1/pandoc/1 is indeed empty.

I wonder what could have caused it.

Incidentally, $HOME/.cabal/share/man/man5/pandoc_markdown.1 also exists 
and is non-zero in length.

Both `man markdown2pdf` and `man pandoc_markdown` work and display 
correctly.

I have also done

cabal update && cabal install --reinstall pandoc

to no avail.

Is there a bug somewhere? How might I restore the file pandoc.1?

> There's no cabal uninstall.  You can first unregister the library,
> 'ghc-pkg unregister pandoc-1.9.1.2'.  Then delete the executable
> at ~/.cabal/bin/pandoc.  Also delete the data files,
> ~/.cabal/share/pandoc-1.9.1.2, and the library files,
> ~/.cabal/lib/pandoc-1.9.1.2. That should do it, I think.

This sounds too drastic.

I would like to use your first solution if only I can figure out what is 
causing the zero file size and why.

Thanks.

Chandra