bonjour,
Je travaille actuellement sur la version wikimedia portable pour faire un wiki transmissible hors ligne par clé usb.
Je souhaiterais pouvoir générer les pages en pdf avec pdfexport ou l'extension collection, mais je n'arrive pas à comprendre comment je dois procéer pour installer htmldoc sur mon serveur local.

Si quelqu'un pouvais me donner des indications pour y procéder ce serait génial!!

Merci d'avance