From 5f80f0fb3807787fdb9f2514f0f69ea83ca003c5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?= <grubba@grubba.org> Date: Sat, 10 Jan 1998 20:12:20 +0100 Subject: [PATCH] name_to_link() now handles preprocessor options. Rev: tutorial/Wmml.pmod:1.17 --- tutorial/Wmml.pmod | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tutorial/Wmml.pmod b/tutorial/Wmml.pmod index 6b4a6a80e2..ee25d737d1 100644 --- a/tutorial/Wmml.pmod +++ b/tutorial/Wmml.pmod @@ -451,7 +451,7 @@ object(TocBuilder) toker; string name_to_link(string x) { - return replace(x,({"->","->"}),({".","."})); + return replace(x,({"->","->", "#"}),({".",".",""})); } string name_to_link_exp(string x) -- GitLab