DIR hktex
   DOS hktex.zip