view tests/test-pull-permission @ 1814:7956893e8458

generate hg manpage from commands.py docstring

gendoc.py is a script generating a part of the manpage (the commands
help and options) from the docstring in commands.py.
It avoids duplicating the doc between the doc/ directory and the docstrings.
To generate the manpage, 'make doc' will create all the necessary intermediate
files.

#!/bin/sh

mkdir a
cd a
hg init
echo foo > b
hg add b
hg ci -m "b" -d "0 0"

chmod -w .hg

cd ..

hg clone a b

chmod +w a/.hg # let test clean up

cd b
hg verify