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

2022-12-09 Thread Jerome BENOIT 

Hello Jakub, thanks for your report.
The issue has been already fixed in the current experiemental.
I am on my way to upload it to unstable.
Cheers,
Jerome
--
Jerome BENOIT | calculus+at-rezozer^dot*net
https://qa.debian.org/developer.php?login=calcu...@rezozer.net
AE28 AE15 710D FF1D 87E5  A762 3F92 19A6 7F36 C68B


OpenPGP_signature
Description: OpenPGP digital signature

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

2022-11-02 Thread 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