8Oct08 version files changed by 9Oct08 patch:

doc/Section_start.html
doc/Section_start.txt
doc/if.html
doc/if.txt
doc/jump.html
doc/jump.txt
doc/next.html
doc/next.txt
doc/variable.html
doc/variable.txt
src/variable.cpp
src/variable.h