No OneTemporary
Actions

Size

437 B

Referenced Files

None

Subscribers

None

View Options

	diff --git a/_header.php b/_header.php
	index a945788..466c6ed 100644
	--- a/_header.php
	+++ b/_header.php
	@@ -1,5 +1,5 @@
	<?php
	//Kludge to be able to load libraries both in Pluton and in stand-alone tool version.
	- $tool_directory = getcwd() . '/tools/SourceTemplatesGenerator';
	+ $tool_directory = getcwd() . '/' . str_replace('-', '/', $document->topic);
	ini_set('include_path', ini_get('include_path') . ":$tool_directory");
	?>