#!/usr/bin/awk -f
/* copyright Denis Ducamp 2001/02 */
BEGIN {
	niveau=0;
	print "<!DOCTYPE linuxdoc";
	print "PUBLIC \"-//LinuxDoc//DTD LinuxDoc 96//EN\" >";
	print "<article>";

	getline;
	while($0!~"^%page")
	{	/* print "rejetée: " $0; */
		getline;
	}
	while($0~"^[ \t]*$" || $0~"^%")
	{	/* print "rejetée: " $0; */
		getline;
	}
	print "<title>" $0;
	print "<author>" author;
	print "<date>" date;
	print "<sect>" $0;
	print "<p>";

}
/^%page/ {
	while(niveau>0)
	{	print "</itemize>\n";
		niveau--;
	}

	getline;
	while($0~"^[ \t]*$" || $0~"^%")
	{	/* print "rejetée: " $0; */
		getline;
	}
	print "<sect>" $0;
	print "<p>";
	next;
}
/^%image/ {
	match($0,"\"[^\"]*\"");
	print "<p>";
	print "<figure loc=\"\">";
	print "<eps file=\"\">";
	print "<IMG SRC=" substr($0,RSTART,RLENGTH) ">";
	print "<caption></caption>";
	print "</figure>";
	print "</p>";
}
/^%/ {
	next;
}
/^	/ {match($0,"^[	]+");
	nb=RLENGTH;
	while(niveau<nb)
	{	print "<itemize>\n";
		niveau++;
	}
	while(niveau>nb)
	{	print "</itemize>\n";
		niveau--;
	}
	print "<item>" $0;
	next;
}
{	print;
}
END {
	while(niveau>0)
	{	print "</itemize>\n";
		niveau--;
	}
	print "</article>";
}