##// END OF EJS Templates
histedit: improve documentation and behaviour of dates...
histedit: improve documentation and behaviour of dates This clarifies in the histedit documentation that the 'edit' action preserves the date and that the 'fold' action uses the later date. The documentation was previously silent on this issue which left users in doubt.

File last commit:

r28809:7a1ad08b default
r31055:f1b63ec4 default
Show More
check-gendoc
11 lines | 334 B | text/plain | TextLexer
#!/bin/sh
HGENCODING=UTF-8
export HGENCODING
echo ".. -*- coding: utf-8 -*-" > gendoc.txt
echo "" >> gendoc.txt
LANGUAGE=$1 python "$TESTDIR/../doc/gendoc.py" >> gendoc.txt 2> /dev/null || exit
echo "checking for parse errors"
python "$TESTDIR/../doc/docchecker" gendoc.txt
python "$TESTDIR/../doc/runrst" html gendoc.txt /dev/null