ae503b7 make-docs ok