Skip inexistent docs when building ShareLaTeX history GitOrigin-RevId: 5b7c5b77623d77c7d20f852050249211de0c8cb3