Changeset 24134

Timestamp:

12/02/08 00:44:21 (5 weeks ago)

Author:

moritz

Message:

[util/smartlinks.pl] workaround: generated S07 although there's no smartlink
for it.

Files:

• util/smartlinks.pl (modified) (1 diff)

util/smartlinks.pl

@@ -683 +683 @@
 
     my $linktree_sections = $linktree->{"S$syn_id"};
-    if (!$linktree_sections) {
+    if (!$linktree_sections && $syn_id != 7) {
         # We won't generate the HTML file if there's no smartlink in it.
         return;