summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn J. Camilleri <john@digitalgrammars.com>2018-12-05 18:14:17 +0100
committerJohn J. Camilleri <john@digitalgrammars.com>2018-12-05 18:14:17 +0100
commit72a9eb0c8a75b628f82197ed0a97d3865f9b1e08 (patch)
treeef2aeab2e87f0bf5c06f585e38fb16b55d650582
parentb73f033b08113bf4c98beb1a4062a1aa9de5026a (diff)
Another fake change to trigger rebuild of gf-tutorial
-rw-r--r--doc/tutorial/gf-tutorial.t2t1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/tutorial/gf-tutorial.t2t b/doc/tutorial/gf-tutorial.t2t
index 5a2d26d37..581c99ec1 100644
--- a/doc/tutorial/gf-tutorial.t2t
+++ b/doc/tutorial/gf-tutorial.t2t
@@ -16,6 +16,7 @@ December 2010 for GF 3.2
%!postproc(html): #NEW <!-- NEW -->
+
%!postproc(html): #OVERVIEW <h2>Overview</h2>
%%!postproc(tex): "section\*" "section"