qse/ase/rel/doc.awk

140 lines
1.9 KiB
Awk
Raw Normal View History

2007-02-03 15:03:05 +00:00
global header, mode;
2007-02-04 05:03:01 +00:00
global empty_line_count;
global para_started;
2007-02-03 15:03:05 +00:00
2007-02-03 11:54:02 +00:00
BEGIN {
header = 1;
2007-02-03 15:03:05 +00:00
mode = 0;
2007-02-04 05:03:01 +00:00
empty_line_count = 0;
para_started = 0;
2007-02-04 04:40:33 +00:00
output=ARGV[0];
gsub (/\.man/, ".html", output);
2007-02-04 05:03:01 +00:00
#print "OUTPUT TO: " output;
2007-02-04 04:40:33 +00:00
print "</html>";
print "</head>";
2007-02-03 11:54:02 +00:00
}
header && /^\.[[:alpha:]]+[[:space:]]/ {
if ($1 == ".title")
{
2007-02-04 04:40:33 +00:00
print "<title>" $2 "</title>";
2007-02-03 11:54:02 +00:00
}
}
2007-02-04 04:40:33 +00:00
header && !/^\.[[:alpha:]]+[[:space:]]/ {
header = 0;
print "</head>";
print "<body>";
}
2007-02-03 11:54:02 +00:00
!header {
2007-02-03 15:03:05 +00:00
local text;
if (mode == 0)
2007-02-03 11:54:02 +00:00
{
2007-02-04 05:03:01 +00:00
if (/^$/)
2007-02-03 15:03:05 +00:00
{
2007-02-04 05:03:01 +00:00
# empty line
if (para_started)
{
para_started = 0;
print "</p>";
}
empty_line_count++;
2007-02-03 15:03:05 +00:00
}
2007-02-04 04:40:33 +00:00
else
{
2007-02-04 05:03:01 +00:00
if (/^= [^=]+ =$/)
{
if (para_started)
{
print "</p>";
para_started = 0;
}
text=substr($0, 2, length($0)-2);
print "<h1>" text "</h1>";
}
else if (/^== [^=]+ ==$/)
{
if (para_started)
{
print "</p>";
para_started = 0;
}
text=substr($0, 3, length($0)-4);
print "<h2>" text "</h2>";
}
else if (/^=== [^=]+ ===$/)
{
if (para_started)
{
print "</p>";
para_started = 0;
}
text=substr($0, 4, length($0)-6);
print "<h3>" text "</h3>";
}
else if (/^==== [^=]+ ====$/)
{
if (para_started)
{
print "</p>";
para_started = 0;
}
text=substr($0, 5, length($0)-8);
print "<h34" text "</h4>";
}
else if (/^\{\{\{$/)
{
# {{{
if (para_started)
{
print "</p>";
para_started = 0;
}
print "<pre>";
mode = 1;
}
else
{
if (!para_started > 0)
{
print "<p>";
para_started = 1;
}
gsub ("<", "\\&lt;");
gsub (">", "\\&gt;");
print $0;
print "<br>";
}
empty_line_count = 0;
2007-02-04 04:40:33 +00:00
}
2007-02-03 11:54:02 +00:00
}
2007-02-03 15:03:05 +00:00
else if (mode == 1)
2007-02-03 11:54:02 +00:00
{
2007-02-03 15:03:05 +00:00
if (/^}}}$/)
{
2007-02-04 05:03:01 +00:00
# }}}
2007-02-03 15:03:05 +00:00
print "</pre>";
mode = 0;
}
else
{
gsub ("<", "\\&lt;");
gsub (">", "\\&gt;");
print $0;
}
2007-02-03 11:54:02 +00:00
}
}
2007-02-04 04:40:33 +00:00
END {
print "</body>";
print "</html>";
}