From 983b035d68dbe17ba2269c2e34cd67a6d1d18ccf Mon Sep 17 00:00:00 2001 From: "Bradley M. Kuhn" Date: Fri, 7 Nov 2014 02:16:22 -0500 Subject: [PATCH] Shorten these monikers for motion. --- webhacks.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webhacks.cfg b/webhacks.cfg index 7639562..3f247b9 100644 --- a/webhacks.cfg +++ b/webhacks.cfg @@ -50,7 +50,7 @@ \monolith -\Configure{crosslinks}{\HCode{
  • }}{\HCode{
  • }}{next-section}{prev-at-top}{prev-at-bottom}{jump-to-top}{jump-to-bottom}{up-section} +\Configure{crosslinks}{\HCode{
  • }}{\HCode{
  • }}{next}{prev-top}{prev-end}{this-top}{this-end}{up} \Configure{crosslinks+} {\HCode{