Add Documentation/git-{import,export}.do scripts.
These export and import, respectively, the generated man pages to/from the git branch called 'man'. You can use it to retrieve the .1 files if you don't have a working pandoc.
This commit is contained in:
parent
bab7b40a49
commit
ca7a1de4e3
2 changed files with 23 additions and 0 deletions
15
Documentation/git-export.do
Normal file
15
Documentation/git-export.do
Normal file
|
|
@ -0,0 +1,15 @@
|
|||
# update the local 'man' branch with pregenerated output files, for people
|
||||
# who don't have pandoc (and maybe to aid in google searches or something)
|
||||
redo-ifchange all
|
||||
git update-ref refs/heads/man origin/man '' 2>/dev/null || true
|
||||
|
||||
export GIT_INDEX_FILE=gitindex.tmp
|
||||
rm -f $GIT_INDEX_FILE
|
||||
git add -f *.1
|
||||
|
||||
MSG="Autogenerated man pages for $(git describe)"
|
||||
TREE=$(git write-tree --prefix=Documentation)
|
||||
git show-ref refs/heads/man >/dev/null && PARENT="-p refs/heads/man"
|
||||
COMMITID=$(echo "$MSG" | git commit-tree $TREE $PARENT)
|
||||
|
||||
git update-ref refs/heads/man $COMMITID
|
||||
Loading…
Add table
Add a link
Reference in a new issue