commit 700e2505c4ca57baebe7167fcdc547ce3416f1cf
author Shawn Pearce <sop@google.com> Mon Jun 22 12:07:27 2015 -0700
committer Shawn Pearce <sop@google.com> Mon Jun 22 12:07:27 2015 -0700
tree a2364b19d91b04f3231f9d92f950e51242c69486
parent 68311c7a5220e03bd530c46e1004b4511a09f158

Markdown: always generate id attributes on headers

By generating id attributes even if [TOC] is not used, pages
can link to specific sections by header text.

Change-Id: I65939906d686120ac93b3087b1792e63def27c42

gitiles-servlet/src/main/java/com/google/gitiles/doc/MarkdownToHtml.java

diff --git a/gitiles-servlet/src/main/java/com/google/gitiles/doc/MarkdownToHtml.java b/gitiles-servlet/src/main/java/com/google/gitiles/doc/MarkdownToHtml.java
index 2721299..2ff8aeb 100644
--- a/gitiles-servlet/src/main/java/com/google/gitiles/doc/MarkdownToHtml.java
+++ b/gitiles-servlet/src/main/java/com/google/gitiles/doc/MarkdownToHtml.java
@@ -172,9 +172,7 @@
   public void visit(HeaderNode node) {
     String tag = "h" + node.getLevel();
     html.open(tag);
-    if (toc.include(node)) {
-      html.attribute("id", toc.idFromHeader(node));
-    }
+    html.attribute("id", toc.idFromHeader(node));
     visitChildren(node);
     html.close(tag);
   }