mybin

my ~/bin
git clone https://a3nm.net/git/mybin/
Log | Files | Refs | README

commit f365edf4f1ea98b78829457574bff983fde3b215
parent 898c1e6917899c124bc611ba469f4936c83e0e03
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sun, 17 Jan 2016 23:58:37 +0100

Merge branch 'master' of a3nm.net:git/mybin

Diffstat:
shorthand.pl | 13+++++++++++++
1 file changed, 13 insertions(+), 0 deletions(-)

diff --git a/shorthand.pl b/shorthand.pl @@ -89,6 +89,9 @@ END my $header3c = <<END; \\titlepage +END + +my $header3d = <<END; \\end{frame} END @@ -98,6 +101,7 @@ my $defaultlang = ""; my $toc = 1; my $nofirsttoc = 1; my $titlenum = 1; +my $ontitle = ""; while (<>) { last if /^$/; @@ -116,6 +120,10 @@ while (<>) { $nofirsttoc = 0; next; } + if (/^ONTITLE (.*)/) { + $ontitle = $1; + next; + } print; } @@ -133,6 +141,11 @@ if ($titlenum) { print $header3b2; } print $header3c; +if (length($ontitle) > 0) { + print "\\vfill "; + print $ontitle; +} +print $header3d; while (<>) { my $l = $_;