summaryrefslogtreecommitdiff
path: root/doc/gf-reference.html
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2010-12-22 16:57:53 +0000
committerhallgren <hallgren@chalmers.se>2010-12-22 16:57:53 +0000
commit40b84d25e320347e0402d9a86afe3bf384b5d490 (patch)
tree15c3df3acf3db8091615188429dbae894d59c773 /doc/gf-reference.html
parent59b36e0e4aa4875d9d5acfe7abf114a680b0aac9 (diff)
Documentation fixes
+ Rename some txt2tags file from .txt to .t2t and remove abandoned .txt files. + Add program update_html that finds all .t2t documents and updates the corresponding .html file. It can be invoked with 'make html'. + Add style to some .html documents
Diffstat (limited to 'doc/gf-reference.html')
-rw-r--r--doc/gf-reference.html7
1 files changed, 4 insertions, 3 deletions
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>