cd doc && make is not the same as make -C doc