Add an option to change the policy of source file links inside the manual. The default policy use local files instead of remote ones.
Add an option to change the policy of source file links inside the manual.
The default policy use local files instead of remote ones.

git-svn-id: 71c8032c709790ec749031c4215f8515ac00dc5a@17258 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb

bnordgren/nixos,bnordgren/nixos,bnordgren/nixos,bnordgren/nixos,bnordgren/nixos