# HG changeset patch
# User Alpar Juttner <alpar@cs.elte.hu>
# Date 1225527359 0
# Node ID 35279d53a015f520709c945477f0590d4fb0fb5c
# Parent  98a495a50e490d6062c5fe768de32f6d48870bc3
Better navigation trailer

diff -r 98a495a50e49 -r 35279d53a015 titlegen.py
--- a/titlegen.py	Sat Nov 01 08:07:55 2008 +0000
+++ b/titlegen.py	Sat Nov 01 08:15:59 2008 +0000
@@ -57,15 +57,15 @@
             elif gr[2]:
                 prev_page=ind[page][1]
                 if prev_page:
-                    prev_str= ( '\\ref '+prev_page )
+                    prev_str= ( '<< \\ref '+prev_page+' ')
                 else:
                     prev_str=''
                 next_page=ind[page][2]
                 if next_page:
-                    next_str= ( '\\ref '+next_page )
+                    next_str= ( ' \\ref '+next_page+' >>')
                 else:
                     next_str=''
-                fo.write('<< %s | \\ref toc "Home" | %s >>\n'%\
+                fo.write('%s| \\ref toc "Home" |%s\n'%\
                              (prev_str,next_str))
             elif gr[3]:
                 secs = [ x for x in toc]