Skip to content

Instantly share code, notes, and snippets.

@xavierroy

xavierroy/integrate.bat

Last active September 3, 2015 05:11
Show Gist options
  • Save xavierroy/49af687a822f13a4ac49 to your computer and use it in GitHub Desktop.
Save xavierroy/49af687a822f13a4ac49 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
integrate.bat
@echo off
REM Created by Xavier Roy
REM This batch file runs the integrator script to add the new plugin(s) so that DITA can recognise them.
ant -f integrator.xml strict -verbose -l integrator.log
ECHO "NOTE: Plugins Integrated."
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment