mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-29 03:36:42 +00:00
From @nkalvi with a few modifications (custom variables). - when per-machine installation is chosen, the system path is updated instead of the user's - an appropriate default is used for per-machine installation directory.