Add pushdocs target.