[FLINK-10410] Search for broken links on travis

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.7.0
• Fix Version/s: 1.7.0
• Component/s: Documentation, Travis
• Assignee: Chesnay Schepler
• Reporter: Chesnay Schepler
• Created: 24/Sep/18 12:45
• Updated: 02/Oct/19 17:50
• Resolved: 27/Sep/18 10:06

Description

In the /docs/check_links.sh directory we have a handy script for searching dead links. We could use this to automatically find dead links on travis.