Flycheck requires the info file to be built again
Merge pull request #1557 from dholm/bugfix/flycheck

Flycheck requires the info file to be built again