From 913a15a083b71c0144d9b8c02dca8c8d3eb7e332 Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 8 Dec 2005 10:04:34 +0000 Subject: [PATCH] Set encoding in txt2tags documents to utf-8. --- doc/darcs.html | 3 ++- doc/darcs.txt | 1 + doc/transfer-reference.html | 3 ++- doc/transfer-reference.txt | 2 +- doc/transfer-tutorial.html | 3 ++- doc/transfer-tutorial.txt | 2 +- doc/transfer.html | 5 +++-- doc/transfer.txt | 1 + 8 files changed, 13 insertions(+), 7 deletions(-) diff --git a/doc/darcs.html b/doc/darcs.html index 7c74741e6..1d8033102 100644 --- a/doc/darcs.html +++ b/doc/darcs.html @@ -2,12 +2,13 @@ + GF Darcs repository

GF Darcs repository

Author: Björn Bringert <bringert@cs.chalmers.se>
-Last update: Tue Dec 6 14:29:33 2005 +Last update: Thu Dec 8 11:04:16 2005

diff --git a/doc/darcs.txt b/doc/darcs.txt index 2dc0fba8f..c2ec12926 100644 --- a/doc/darcs.txt +++ b/doc/darcs.txt @@ -8,6 +8,7 @@ Last update: %%date(%c) %!target:html %!options(html): --toc +%!encoding:utf-8 **GF has now been moved to a Darcs repository. No changes should be committed to the CVS repository from now on.** diff --git a/doc/transfer-reference.html b/doc/transfer-reference.html index 64b9f61b0..1f6b5f516 100644 --- a/doc/transfer-reference.html +++ b/doc/transfer-reference.html @@ -2,12 +2,13 @@ + Transfer language reference

Transfer language reference

Author: Björn Bringert <bringert@cs.chalmers.se>
-Last update: Wed Dec 7 13:24:23 2005 +Last update: Thu Dec 8 11:04:17 2005

diff --git a/doc/transfer-reference.txt b/doc/transfer-reference.txt index 716b79cef..02009fceb 100644 --- a/doc/transfer-reference.txt +++ b/doc/transfer-reference.txt @@ -8,7 +8,7 @@ Last update: %%date(%c) %!target:html %!options(html): --toc - +%!encoding:utf-8 This document describes the features of the Transfer language. See the [Transfer tutorial transfer-tutorial.html] diff --git a/doc/transfer-tutorial.html b/doc/transfer-tutorial.html index 80dcf8682..31fceadb9 100644 --- a/doc/transfer-tutorial.html +++ b/doc/transfer-tutorial.html @@ -2,12 +2,13 @@ + Transfer tutorial

Transfer tutorial

Author: Björn Bringert <bringert@cs.chalmers.se>
-Last update: Tue Dec 6 23:50:54 2005 +Last update: Thu Dec 8 11:04:17 2005

diff --git a/doc/transfer-tutorial.txt b/doc/transfer-tutorial.txt index e3a8c5954..ad9a4ea55 100644 --- a/doc/transfer-tutorial.txt +++ b/doc/transfer-tutorial.txt @@ -8,7 +8,7 @@ Last update: %%date(%c) %!target:html %!options(html): --toc - +%!encoding:utf-8 = Objective = diff --git a/doc/transfer.html b/doc/transfer.html index 87c5bb05f..af85b77b5 100644 --- a/doc/transfer.html +++ b/doc/transfer.html @@ -2,12 +2,13 @@ + The GF Transfer language

The GF Transfer language

Author: Björn Bringert <bringert@cs.chalmers.se>
-Last update: Tue Dec 6 14:26:07 2005 +Last update: Thu Dec 8 11:02:55 2005

@@ -26,5 +27,5 @@ all constructs in the Transfer language.

- + diff --git a/doc/transfer.txt b/doc/transfer.txt index 7952aae5f..4a43d1762 100644 --- a/doc/transfer.txt +++ b/doc/transfer.txt @@ -7,6 +7,7 @@ Last update: %%date(%c) % txt2tags transfer.txt %!target:html +%!encoding:utf-8 The GF Transfer language is a programming language which can be used to write functions which work on abstract syntax terms.