diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 11 | ||||
| -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.html | 32 | ||||
| -rw-r--r-- | doc/gf-reference.html | 7 | ||||
| -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 |
