#cd".";;
#directory "_build/default/lib/.lib.objs/";;
#directory "_build/default/clib/.clib.objs/";;
#directory "_build/default/kernel/.kernel.objs/";;
#directory "_build/default/library/.library.objs/";;
#directory "_build/default/engine/.engine.objs/";;
#directory "_build/default/pretyping/.pretyping.objs/";;
#directory "_build/default/interp/.interp.objs/";;
#directory "_build/default/parsing/.parsing.objs/";;
#directory "_build/default/gramlib/.gramlib.objs/";;
#directory "_build/default/proofs/.proofs.objs/";;
#directory "_build/default/tactics/.tactics.objs/";;
#directory "_build/default/printing/.printing.objs/";;
#directory "_build/default/vernac/.vernac.objs/";;
#directory "_build/default/stm/.stm.objs/";;
#directory "_build/default/toplevel/.toplevel.objs/";;