Home | History | Annotate | Download | only in djgpp

Lines Matching refs:html

46 set HTML=enabled

47 if not "%HTML%" == "enabled" goto SmallEnv
124 if "%1" == "withouthtml" set HTML=disabled
125 if "%1" == "withoutHTML" set HTML=disabled
126 if "%1" == "WITHOUTHTML" set HTML=disabled
127 if not "%HTML%" == "disabled" goto SmallEnv
154 if "%HTML%" == "enabled" echo --enable-html >> arguments
155 if "%HTML%" == "disabled" echo --disable-html >> arguments
162 set HTML=