Raphael

I think the mention "Just install it anywhere you like and synchronise folder X with Git" alone can help many a user; it is not a priori clear that you...

Yes. It should be possible to say, for instance, I want styles with citation style `numeric` that define a type `book`.

Possible solution: store PIDs of _all_ running child processes and skill them explicitly. http://stackoverflow.com/questions/32965251/how-can-i-kill-process-which-has-spawned-a-child-using-system Getting the PID is easy: `f = IO::popen(...); f.pid` Killing as well: `Process.kill("TERM", pid)`

Other possibilty: set up a signal handler. http://stackoverflow.com/a/14636093/539599 Do we still want to deal with CTRL+C differently is daemon mode is running? Could use this to completely overhaul how signals...

Attack together with #58. After refactoring of hashing business, the way is paved for this one.

Note to self: pimp HashManager.files_changed? to deal with `without` and `drop_from` parameters? Can that help with being smarter in the above sense?

@koppor Thanks for these pointers! - `logreq` does not seem in a position where you can rely on it providing _all_ the information. In general, relying on document and/or package...

Seems as if we should _definitely_ check `md5` or `diff` files! It's still not perfect but more than we can do right now. Also, we should check for (and inside)...

Nota bene: `dpth` files are needed for proper compilation, so we need to rebuild of those are missing, too. (Are they always created?)

The engine can now prompt reruns -- if it can figure out _when_ to rerun!