[sr-dev] git:master: makefile.doc: be silent when cleaning