diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-18 10:39:24 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-18 11:00:18 -0400 |
| commit | 915c912d5c5a645ae268e9088968946e851d5b9e (patch) | |
| tree | a9a625802da9186eaf97bb415eaaf1615278bdb4 | |
| parent | 56b4cf717450b0a788986c8f8db8774c1a1eaad9 (diff) | |
Change README.md to index.html, not README.html
| -rw-r--r-- | docs/spec/index.html (renamed from docs/spec/README.html) | 0 | ||||
| -rwxr-xr-x | gendocs | 2 | ||||
| -rw-r--r-- | md.bqn | 2 |
3 files changed, 2 insertions, 2 deletions
diff --git a/docs/spec/README.html b/docs/spec/index.html index 6a4ba53f..6a4ba53f 100644 --- a/docs/spec/README.html +++ b/docs/spec/index.html @@ -1,3 +1,3 @@ #! /usr/bin/env bash -for f in *.md */*.md; do ./dzref md.bqn "•←ConvertFile \"$f\"" > docs/${f%md}html; done +for f in *.md */*.md; do g=${f/README/index}; ./dzref md.bqn "•←ConvertFile \"$f\"" > docs/${g%md}html; done @@ -245,7 +245,7 @@ Markdown ← {𝕊𝕩:1𝕊𝕩; extensions𝕊𝕩: unused ← actual ∧ include ∧ ¬ codeMask # Links - ReplaceMDSub ← { ¯2 (↓∾"html"˜)⍟(("md"≡↑)∧':'∧´∘≠⊢) 𝕩 } + ReplaceMDSub ← { ¯2 ("README"•_r_"index"∘↓∾"html"˜)⍟(("md"≡↑)∧':'∧´∘≠⊢) 𝕩 } ReplaceMD ← { ReplaceMDSub⌾((⊑𝕩⊐"#")⊸↑) 𝕩 } ProcLink ← { ∾⟨"<a href=""",(ReplaceMD 𝕩),""">",𝕨,"</a>"⟩ } brak ← /∘(unused ∧ 𝕩⊸=)¨ "]()[" |
