[sr-dev] git:master:141e20c6: docbook: folder moved from root to doc