push proper docs