On Sun, 30 Sep 2012, Andreas Beckmann wrote: > The mediawiki package should include "a packaging guide for > mediawiki extensions". If this is missing, please file a bug there to > avoid further confusion in other extension packagings.
Right. Mediawiki itself installs bundled extensions into /var/lib/mediawiki/extensions which I don’t find appropriate, but maybe there’s a reason for it; src:mediawiki-extensions puts them into /usr/share/mediawiki-extensions with another subdirectory level $foo for the mediawiki-extensions-$foo binary package, so I believe /usr/share/mediawiki-extensions/math is a suitable place for these files, since the binary package they belong to is nowadays called mediawiki-extensions-math. Jonathan, do you want to take care of this? bye, //mirabilos -- tarent solutions GmbH Rochusstraße 2-4, D-53123 Bonn • http://www.tarent.de/ Tel: +49 228 54881-393 • Fax: +49 228 54881-314 HRB 5168 (AG Bonn) • USt-ID (VAT): DE122264941 Geschäftsführer: Boris Esser, Sebastian Mancke -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
