tutorial: move to compiling a global document