Home | History | Annotate | Download | only in djgpp

Lines Matching refs:html

45 set HTML=enabled

46 if not "%HTML%" == "enabled" goto SmallEnv
123 if "%1" == "withouthtml" set HTML=disabled
124 if "%1" == "withoutHTML" set HTML=disabled
125 if "%1" == "WITHOUTHTML" set HTML=disabled
126 if not "%HTML%" == "disabled" goto SmallEnv
153 if "%HTML%" == "enabled" echo --enable-html >> args
154 if "%HTML%" == "disabled" echo --disable-html >> args
161 set HTML=