summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile11
-rw-r--r--doc/gf-bibliography.t2t (renamed from doc/gf-bibliography.txt)0
-rw-r--r--doc/gf-developers.t2t (renamed from doc/gf-developers.txt)0
-rw-r--r--doc/gf-people.html32
-rw-r--r--doc/gf-reference.html7
-rw-r--r--doc/gf-reference.t2t (renamed from doc/gf-reference.txt)5
-rw-r--r--doc/tutorial/gf-tutorial.t2t (renamed from doc/tutorial/gf-tutorial.txt)0
7 files changed, 23 insertions, 32 deletions
diff --git a/doc/Makefile b/doc/Makefile
index d498375b3..8d190f5dd 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -21,14 +21,3 @@ Logos/gf00.png: Logos/gf00.svg Makefile
Logos/gf0.png: Logos/gf0.svg Makefile
convert -background 'rgba(255,255,255,0)' -size 320x240 -depth 8 $< $@
-
-### Updating automatically generated HTML files
-
-GENERATED_HTML=gf-developers.html
-
-%.html: %.txt
- txt2tags $<
-
-generated_html:: $(GENERATED_HTML)
-
-gf-developers.html: gf-developers.txt
diff --git a/doc/gf-bibliography.txt b/doc/gf-bibliography.t2t
index 01680f674..01680f674 100644
--- a/doc/gf-bibliography.txt
+++ b/doc/gf-bibliography.t2t
diff --git a/doc/gf-developers.txt b/doc/gf-developers.t2t
index c7643ef07..c7643ef07 100644
--- a/doc/gf-developers.txt
+++ b/doc/gf-developers.t2t
diff --git a/doc/gf-people.html b/doc/gf-people.html
index bc09412d0..e255f109b 100644
--- a/doc/gf-people.html
+++ b/doc/gf-people.html
@@ -2,9 +2,10 @@
<head>
<title>GF People</title>
+<link rel=stylesheet href="../css/style.css">
</head>
-<body bgcolor="#FFFFFF" text="#000000" >
+<body>
<center>
<IMG SRC="Logos/gf0.png">
@@ -15,9 +16,9 @@
The current developers and maintainers are
<a href="http://www.chalmers.se/cse/EN/organization/divisions/computing-science/people/angelov-krasimir">Krasimir Angelov</a>,
-<a href="http://www.cs.chalmers.se/~hallgren">Thomas Hallgren</a>,
+<a href="http://www.cse.chalmers.se/~hallgren/">Thomas Hallgren</a>,
and
-<a href="http://www.cse.chalmers.se/~aarne">Aarne Ranta</a>. Bug reports should be
+<a href="http://www.cse.chalmers.se/~aarne/">Aarne Ranta</a>. Bug reports should be
posted via the
<a href="http://code.google.com/p/grammatical-framework/issues/list">GF bug tracker</a>.
@@ -26,29 +27,28 @@ posted via the
Also the following people have contributed code to some of the versions:
-<p>
+<dl>
-Grégoire Détrez (University of Gothenburg)
-<br>
-Ramona Enache (University of Gothenburg)
-<br>
+<dt>Grégoire Détrez (University of Gothenburg)
+<dt>Ramona Enache (University of Gothenburg)
+<dt>
<a href="http://www.cse.chalmers.se/alumni/bringert">Björn Bringert</a> (University of Gothenburg)
-<br>
+<dt>
Håkan Burden (University of Gothenburg)
-<br>
+<dt>
Hans-Joachim Daniels (Karlsruhe)
-<br>
+<dt>
<a href="http://www.cs.chalmers.se/~markus">Markus Forsberg</a> (Chalmers)
-<br>
+<dt>
<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a> (University of Gothenburg)
-<br>
+<dt>
<a href="http://www.cs.chalmers.se/~janna">Janna Khegai</a> (Chalmers)
-<br>
+<dt>
<a href="http://www.cs.chalmers.se/~peb">Peter Ljunglöf</a> (University of Gothenburg)
-<br>
+<dt>
Petri Mäenpää (Nokia)
+</dl>
-<p>
At least the following colleagues are thanked for suggestions,
bug reports, and other indirect contributions to the code. (Notice:
diff --git a/doc/gf-reference.html b/doc/gf-reference.html
index c5c108760..78d08bcac 100644
--- a/doc/gf-reference.html
+++ b/doc/gf-reference.html
@@ -2,12 +2,13 @@
<HTML>
<HEAD>
<META NAME="generator" CONTENT="http://txt2tags.sf.net">
+<LINK REL="stylesheet" TYPE="text/css" HREF="../css/style.css">
<TITLE>GF Quick Reference</TITLE>
</HEAD><BODY BGCOLOR="white" TEXT="black">
<P ALIGN="center"><CENTER><H1>GF Quick Reference</H1>
<FONT SIZE="4">
<I>Aarne Ranta</I><BR>
-Tue Apr 4 09:41:30 2006
+April 4, 2006
</FONT></CENTER>
<P></P>
@@ -572,6 +573,6 @@ A. Ranta, Grammatical Framework: A Type-Theoretical Grammar Formalism.
<I>The Journal of Functional Programming</I>, vol. 14:2. 2004, pp. 145-189.
</P>
-<!-- html code generated by txt2tags 2.0 (http://txt2tags.sf.net) -->
-<!-- cmdline: txt2tags -thtml -\-toc gf-reference.txt -->
+<!-- html code generated by txt2tags 2.5 (http://txt2tags.sf.net) -->
+<!-- cmdline: txt2tags -thtml ./doc/gf-reference.t2t -->
</BODY></HTML>
diff --git a/doc/gf-reference.txt b/doc/gf-reference.t2t
index d0c11ec34..8c9edd04b 100644
--- a/doc/gf-reference.txt
+++ b/doc/gf-reference.t2t
@@ -1,13 +1,14 @@
GF Quick Reference
Aarne Ranta
-%%date(%c)
+April 4, 2006
% NOTE: this is a txt2tags file.
% Create an html file from this file using:
% txt2tags -thtml --toc gf-reference.html
+%!style:../css/style.css
%!target:html
-
+%!options: --toc
This is a quick reference on GF grammars. It aims to
cover all forms of expression available when writing
diff --git a/doc/tutorial/gf-tutorial.txt b/doc/tutorial/gf-tutorial.t2t
index 8ae053a99..8ae053a99 100644
--- a/doc/tutorial/gf-tutorial.txt
+++ b/doc/tutorial/gf-tutorial.t2t