Thread:Project:Support desk/Extension:Pdf Export Installation.

Hello-

I've been trying to install this extension for our wiki page: wiki.computerharpoon.com I installed htmldoc (it actually said that the most current version was already installed) and I followed the instructions found here: http://www.mediawiki.org/wiki/Extension:Pdf_Export, and have added the following lines of code to our LocalSettings.php file: require_once("$IP/extensions/PdfExport/PdfExport.php"); $wgPdfExportHtmlDocPath = '/usr/local/bin/htmldoc';

I heard that Htmldoc is the easiest and most user friendly, so I chose that as the backend.. I rebooted apache, and I still don't see anything updated on our page? (I thought it would add an option to our toolbox on the left, so I could pdf selected pages.)

If anyone can shed some light on this, it would be greatly appreciated!