diff --git a/webhacks.cfg b/webhacks.cfg index 5c40153540b270a55cb33c0188b3583c921edc8c..f79c28b4b2dfd9005073d14a60d9fe06bb4c3d5f 100644 --- a/webhacks.cfg +++ b/webhacks.cfg @@ -48,10 +48,10 @@ }} -\Configure{crosslinks}{\HCode{
  • }}{\HCode{
  • }}{next}{prev-top}{prev-at-bottom}{front}{jump-to-bottom}{up} +\Configure{crosslinks}{\HCode{
  • }}{\HCode{
  • }}{next-section}{prev-at-top}{prev-at-bottom}{jump-to-top}{jump-to-bottom}{up-section} \Configure{crosslinks+} {\IgnorePar\HCode{}\par\ShowPar} {\IgnorePar\EndP\HCode{
    \Hnewline