ac47e02961
Little Helper contains a full text search engine.
Currently it indexes all html-files in /collects/doc.
A mockup web-interface is present in order to facilitate easy experimentation with searches.
Run run-indexer to generate the index for your documentation dir.
Run launch to start a web-server with the search interface.
Note: Currently assumes w3m is in your path (used to precompute the
preview-snippets shown in the search results.
svn: r8836
2 lines
2.2 KiB
HTML
2 lines
2.2 KiB
HTML
<html><head><title>PLT Web Server: Installation</title></head><body bgcolor="white"><img src="/Defaults/documentation/web-server.gif" width="61" height="57" /><h2>PLT Web Server: Installation</h2><p>Follow the following simple steps to start using the PLT Web server:</p><dl><dt>1. <b>Install DrScheme</b></dt><dd>The Web server requires <a href="http://www.drscheme.org/">DrScheme</a> or <a href="http://www.plt-scheme.org/software/mzscheme/">MzScheme</a> version 200alpha1 or later.</dd><dt>2. <b>Download the server</b></dt><dd>Choose <u><em>one</em></u> of the following installation options: <ul><li>Click <a href="http://www.ccs.neu.edu/home/ptg/packages/web-server.plt"><code>here</code></a> from within help-desk.</li><li>Choose "Open URL..." from help-desk's "File" menu and
|
|
enter <a href="http://www.ccs.neu.edu/home/ptg/packages/web-server.plt"><code>http://www.ccs.neu.edu/home/ptg/packages/web-server.plt</code></a></li><li>Download the file using another browser. Then select "Open" from the "File" menu in help-desk.</li><li>Download the file using another browser and save it as <code>web-server.plt</code>. Then run <blockquote><code>setup-plt web-server.plt</code></blockquote>This option works with MzScheme as well as with DrScheme.</li></ul></dd><dt>3. <b>Start the server</b></dt><dd>Launch the <code>web-server</code> program created in the same location as the other PLT programs such as DrScheme.<br />The server may need to use a different port, such as 8080, on some systems. Choose a different port by starting the server with an optional port number:<blockquote><code>web-server 8080</code></blockquote></dd><dt>4. <b>Try it out</b></dt><dd>Direct a Web browser to <blockquote><code>http://localhost/</code></blockquote> or to <blockquote><code>http://localhost:8080/</code></blockquote> depending on the server's port.</dd><dt>5. <b>Configure</b></dt><dd>You may configure your server by following the links on the default index page. </dd></dl><p>We know you have a choice. Thank you for choosing PLT software.</p><p>Powered by <a href="http://www.plt-scheme.org/"><img width="53" height="19" src="/Defaults/documentation/plt-logo.gif" /></a></p></body></html> |