Hi Antoine,
2017-06-15 15:11 GMT+02:00 Antoine Levitt :
> So apparently forking GNOME once was not enough, and now the linux mint
> people have a new name for their pdf viewer, xreader (see e.g.
> https://www.linuxmint.com/rel_sarah_cinnamon_whatsnew.php).
Oh my gosh.
> Here's a
> patch for auct
So apparently forking GNOME once was not enough, and now the linux mint
people have a new name for their pdf viewer, xreader (see e.g.
https://www.linuxmint.com/rel_sarah_cinnamon_whatsnew.php). Here's a
patch for auctex to support it. I had to remove a check for the
executable, because xreader has