w32               719 htags/fileindex.c 	if (w32)
w32                74 htags/htags.c  int w32 = W32;				/**< Windows32 environment	*/
w32              2026 htags/htags.c  	if (!w32) {
w32                64 htags/htags.h  extern int w32;