Adds a sed line that allows to build slime.info with makeinfo v. 5.X
Merge pull request #1436 from Willyfrog/info-fix

Adds a sed line that allows to build slime.info with makeinfo v. 5.X