
//  Copyright 2001 Jamie McClelland, pagetool@mediajumpstart.org

/*
    This file is part of the Pagetool User Manual Installer, a
    plugin for Pagetool.

    The Pagetool User Manual Installer, like Pagetool, is free 
    software; you can redistribute it and/or modify it under the
    terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.
*/


/* Friendly name will be displayed when the user accesses the Install/uninstall
plugins page. */ 
$friendly_name="Pagetool User Manual";

// Description will be displayed under the Friendly name. 
$desc="The User Manual provides instructions for non-experts who will be using Pagetool to modify the web site.";

// Version records the version of this particular plugin.
$ver="1.4";

/* Pagetool Version is the minimum required version of Pagetool for this 
plugin to work. Plugin functionality was added in version 0.11, so this 
number should be 0.11 or above. */
$pt_ver="0.11";	

/* Set upgrade to "y" or "n" depending on whether or not you are including 
an upgrade script. If set to "y" be sure to have a script called "upgrade" 
in your folder! */
$upgrade="n";

/* Set type to either "app," if you are installing an application, "help" 
for a help file, or "template" if it is a template (templates are not 
supported yet!). */
$type="help";
