diff doc/11_reference.html @ 1013:88ebc61e33ae

Allow to override documentation paths through options: - documentation.helpdir - documentation.htmldir Default values are set at configure time.
author zas_
date Sat, 30 Aug 2008 10:39:35 +0000
parents 1b01410e6860
children 578a27d20b47
line wrap: on
line diff