Add semicolon to generateNavigationDoc.js