summaryrefslogtreecommitdiff
path: root/support/hypertex/tanmoy/vanilla.hty
diff options
context:
space:
mode:
Diffstat (limited to 'support/hypertex/tanmoy/vanilla.hty')
-rw-r--r--support/hypertex/tanmoy/vanilla.hty8
1 files changed, 8 insertions, 0 deletions
diff --git a/support/hypertex/tanmoy/vanilla.hty b/support/hypertex/tanmoy/vanilla.hty
new file mode 100644
index 0000000000..598b20e234
--- /dev/null
+++ b/support/hypertex/tanmoy/vanilla.hty
@@ -0,0 +1,8 @@
+\let\hypernoname=\relax
+\def\footnote@@"#1"#2{\makefootnote@{\hyperdef\hypernoname{footnote}{#1}%
+ {#1}}{#2}\hyperref\hypernoname{#1}\@sf\relax}
+\def\footnote@@@#1{{${\number\footmarkcount@}$}\makefootnote@
+ {\hyperdef\hypernoname{footnote}{\number\foormarkcount}%
+ {${\number\footmarkcount@}$}}{#1}%
+ \hyperref\hypernoname{\number\footmarkcount}%
+ \global\advance\footmarkcount@ by 1 }