Tools: master 3fc8bbf5

Diff Back to Repository
Author Committer Branch Timestamp Parent
dregad dregad master 2013-06-14 16:47 master 2284a615
Changeset

docbook build: added --current option

Allows building from an existing git repository's current branch
(working copy), without fetching from remote or checking out a branch.
mod - docbook-manual-repo.py Diff File