OSDN Git Service

PATCH: [ 2015434 ] Manual: Use own build tool package for building the manual
authorTim Gerundt <tim@gerundt.de>
Mon, 14 Jul 2008 20:30:22 +0000 (20:30 +0000)
committerTim Gerundt <tim@gerundt.de>
Mon, 14 Jul 2008 20:30:22 +0000 (20:30 +0000)
commitbf073285bca3a64192de1e1b94bc3b5614d4b948
treed4218469190d16a2d834b3d60a28f1bff163bc3b
parent97f313183c75aa407526d233e23678ed6e24dd9e
PATCH: [ 2015434 ] Manual: Use own build tool package for building the manual
Docs/Developers/readme-manual.html
Docs/Users/Manual/WinMerge_help.xml
Docs/Users/Manual/build/build_html.bat
Docs/Users/Manual/build/build_html.xsl
Docs/Users/Manual/build/build_htmlhelp.bat
Docs/Users/Manual/build/build_htmlhelp.xsl
Docs/Users/Manual/build/configuration.bat