fix gitbook command name for windows
This commit is contained in:
parent
8041f1f947
commit
e178092dcc
|
@ -119,10 +119,13 @@
|
||||||
<phase>generate-sources</phase>
|
<phase>generate-sources</phase>
|
||||||
<configuration>
|
<configuration>
|
||||||
<target>
|
<target>
|
||||||
|
<condition property="gitbook.cmd" value="gitbook.cmd" else="gitbook">
|
||||||
|
<os family="windows"/>
|
||||||
|
</condition>
|
||||||
<!-- lets generate the gitbook -->
|
<!-- lets generate the gitbook -->
|
||||||
<mkdir dir="${webapp-outdir}/gitbook" />
|
<mkdir dir="${webapp-outdir}/gitbook" />
|
||||||
<echo>executing gitbook</echo>
|
<echo>executing ${gitbook.cmd}</echo>
|
||||||
<exec executable="gitbook">
|
<exec executable="${gitbook.cmd}">
|
||||||
<arg value="build" />
|
<arg value="build" />
|
||||||
<arg value="${basedir}/../docs/user-manual/en" />
|
<arg value="${basedir}/../docs/user-manual/en" />
|
||||||
<arg value="--output=${webapp-outdir}" />
|
<arg value="--output=${webapp-outdir}" />
|
||||||
|
|
Loading…
Reference in New Issue