doc: command line syntax that works with windows