Portable installer htmldoc

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

Le sujet date mais j'ai cherché un moment et je suis tombé sur ce poste qui ne m'a pas vraiment aidé.

Ducoup voila comment faire.

Télécharger et installer htmldoc où l'on veut. Pour moi , dans le répertoire bin de mon wiki.

Ensuite et c'est là que j'étais un peu confus il faut activé pdfExport dans le localsettings comme suit :

Code:

---

1 2	require_once("$IP/extensions/PdfExport/PdfExport.php"); $wgPdfExportHtmlDocPath ='C:/Inetpub/wwwroot/wiki/bin/HTMLDOC/htmldoc.exe';

---

Sur l'exemple de la page de l'extension, il n'y a pas le nom de l'exe et lorsque tu essaies de faire fonctionner sur le wiki, il y a un message qui indique que htmldoc n'est pas installé.

Si ça peut servir
Lu