Bug#1023360: singular-doc: info file in /usr/share/doc

[Jakub Wilk]

Package: singular-doc
Version: 1:4.2.1-p3+ds-2

singular-doc ships the info file in /usr/share/doc/singular/.
But per Policy §12.2, info files should be installed in 
/usr/share/info/.

--
Jakub Wilk