diff options
-rw-r--r-- | FMark/src/Common/HTMLGen/HTMLGen.fs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/FMark/src/Common/HTMLGen/HTMLGen.fs b/FMark/src/Common/HTMLGen/HTMLGen.fs index c15f34a..7411bb8 100644 --- a/FMark/src/Common/HTMLGen/HTMLGen.fs +++ b/FMark/src/Common/HTMLGen/HTMLGen.fs @@ -102,9 +102,9 @@ let rec strList list = /// process header -let strHeader (header,id) = +let strHeader header = match header with - | {HeaderName=line;Level=lv} -> + | {HeaderName=line;Level=lv; RefID=id} -> let tagName = "h" + string(lv) line |> strInlineElements @@ -181,7 +181,7 @@ let strBody pObjs = | CodeBlock (c, l) -> attachHTMLTag ("code", [("language", mapLang l)], true) c | Table rows -> strTable rows | List l -> strList l - | Header (h,s) -> strHeader (h,s) + | Header h -> strHeader h | Footnote (i,s) -> strRef ((string i), s) | Citation (i,_,s) -> strRef (i, s) | ContentTable toc -> strToC toc |