setup.cmo: ../src/argl.cmo ../src/buff.cmo ../src/translate.cmi \
    ../src/version.cmo ../wserver/wserver.cmi 
setup.cmx: ../src/argl.cmx ../src/buff.cmx ../src/translate.cmx \
    ../src/version.cmx ../wserver/wserver.cmx 
