Modify the Windows instructions to generate a file with extension .exe.
Modify the Windows instructions to generate a file with extension .exe.

darcs-hash:20061116215450-4cc09-cc4d491178ee7e0864f11905891bec5b4f3d96e5.gz

ajmgh/polipo,galeksandrp/polipo,nxtreaming/chumen,jech/polipo,jech/polipo,lkraider/polipo,gorakhargosh/polipo,galeksandrp/polipo,toke/polipo,akkakks/polipo,dxq-git/polipo,feijilei/polipo,lkraider/polipo,doublec/namecoin-polipo,caeies/polipo-caeies,feijilei/polipo,TierraDelFuego/opilop,akkakks/polipo,jeromelebel/polipo,fqtools/polipo,fqtools/polipo,Android-Apps/polipo,ssb22/polipo2,dxq-git/polipo,akkakks/polipo,Android-Apps/polipo,strongwillow/polipo,Psiphon-Inc/polipo,galeksandrp/polipo,danchr/polipo,fqtools/polipo,strongwillow/polipo,fukusaka/polipo,feijilei/polipo,ssb22/polipo2,berkley4/polipo,nxtreaming/chumen,nxtreaming/chumen,ssb22/polipo2,dxq-git/polipo,lkraider/polipo,berkley4/polipo,berkley4/polipo,jech/polipo,clowwindy/polipo