Revision 1914 tmp/org.txm.rcp.feature/win/TXM.bat

TXM.bat (revision 1914)
63 63 
mkdir "%DOTTXM%configuration"
64 64 
IF errorlevel 1 (echo "TXM: failed to create %DOTTXM%user directory.")
65 65 

  		





  66
  
  
    
mkdir "%DOTTXM%data" 


  		





  67
  
  
    
IF errorlevel 1 (echo "TXM: failed to create %DOTTXM%data directory.")


  		





  68
  
  
    

  		





  69
  66
  
    
rmdir /s /q "%TXMHOME%\.metadata"


  		





  70
  67
  
    
IF errorlevel 1 (echo "TXM: failed to delete the %TXMHOME%corpora\.metadata directory.")


  		





  71
  68
  
    

  		












Also available in:
  Unified diff