1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
-----
Copyright (C) 1999, 2000 Florian Schintke
Copyright (C) 1999 Martin Kammerhofer for the CGI feature
This 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, or (at your option) any later
version.
This is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
for more details.
You should have received a copy of the GNU General Public License with
the pas2html source package as the file COPYING. If not, write to the
Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
02111-1307, USA.
-----
pas2html
========
Where to get pas2html?
----------------------
The homepage of pas2html is
http://user.cs.tu-berlin.de/~schintke/x2html/index.html
You can get pas2html also from the metalab server:
ftp://metalab.unc.edu/pub/Linux/apps/www/converters/
What is pas2html?
-----------------
The pas2html program is a syntax highlighter for Pas source code that
produces a highlighted html file as output. The output can be read by
any graphical WWW-Browser. If the browser understands the tags to
change font colors (as Netscape does) the output will look like
highlighted by emacs. Otherwise it will not look so nice, but
readability is increased too.
Who uses pas2html?
------------------
Everyone who provides sources in the web.
How do I use pas2html?
----------------------
This is rather simple. If you start the program without any parameters
it will read the source from stdin and prints the output to stdout.
If you invoke pas2html with filenames on the command line it will
process every given file in sequence and will store the output in new
files. The names of the new files are built by appending ".html" to
the corresponding input filename.
How do I convert my Pas sources on demand only?
-----------------------------------------------
You need a webserver to do this. The webserver must be configured to
INVOKE pas2html as a CGI program to handle all *.pas files. If your
webserver is apache you can achieve this by adding lines
AddType text/x-pas .pas
Action text/x-pas /cgi-bin/pas2html
to configuration file "http.conf". The pas2html program expects the
pathname of its input file in environment variable PATH_TRANSLATED.
CGI mode works by checking for environment variables GATEWAY_INTERFACE
and PATH_TRANSLATED. If both are set a HTTP header line
Content-Type: text/html
and meta tags with the file's last modification date and the program
that generated the html file are written to the html header.
If you want to call the converter with default parameters like -n you
have to write a wrapper script like the following (Notice that you
have to 'chmod +x' the script file):
file pas2html_wrap in the cgi-bin directory of your webserver:
--
#! /bin/sh
./pas2html -n
--
Then you let apache call the wrapper script with the following entry:
Action text/x-pas /cgi-bin/pas2html_wrap
Since your sources are converted on-the-fly to HTML you don't need any
webspace for your html-ized files. Furthermore you don't have to
bother about keeping your published html-ized sources up to date. :)
If one wants to save the html-ized source for compiling it is best to
use the "Text" format when saving from the browser.
How can I save bandwidth using pas2html as a CGI?
-------------------------------------------------
If pas2html has been compiled with -DCOMPRESSION=1 it will compress
it's HTML output with gzip if your browser supports it. This will save
bandwidth but add additional load to your webserver machine. If you
are connected to a server on 'localhost', pas2html will not compress
it's output by gzip. Larger values for COMPRESSION than 1 are not
recommended because it adds more CPU load to the server without saving
much bandwidth.
|
