From a93ebb94f939c1c6ab3dcd78ee17a1d882355289 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 6 Apr 2021 11:11:56 -0400 Subject: =?UTF-8?q?Change=20dzref=20to=20just=20pass=201=E2=86=93=E2=80=A2?= =?UTF-8?q?args=20to=20the=20script,=20not=20execute=20additional=20code?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- dzref | 4 ++-- gendocs | 2 +- md.bqn | 2 ++ 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/dzref b/dzref index 7369415c..31a4bc37 100755 --- a/dzref +++ b/dzref @@ -91,10 +91,10 @@ _withRef ← ˙ pre ← E_proc¨ lf((⊢-˜¬×+`)∘=⊔⊢)impl ExecFile←{ src ← E_nodef¨ •FLines 𝕩 - ⟨⟨⟩,"",(∨`⌾⌽'/'=𝕩)/𝕩⟩ Raw ∾ ∾⟜lf¨ src + ((•path⊸∾⌾⊑(2∾˜∧`⌾⌽'/'≠𝕩)⊔𝕩)∾⟨𝕨⟩) Raw ∾ ∾⟜lf¨ src } _withRef ↩ {𝔽∘E_nodef⊘(𝔽⟜E_nodef)} X↩Raw _withRef Raw ∾ ∾⟜lf¨ pre - ≠◶(X˙)‿{ExecFile ⊑𝕩}‿{ExecFile ⊑𝕩 ⋄ X 1⊑𝕩} •args + (1⊸↓ ExecFile ⊑) •args } diff --git a/gendocs b/gendocs index 4853e624..7eb35844 100755 --- a/gendocs +++ b/gendocs @@ -2,4 +2,4 @@ # Generate HTML files from markdown ones # Argument gives specific files if present; otherwise convert everything -./dzref md.bqn "ConvertFile¨ (¬×+\`)⊸-∘=⟜' '⊸⊔ \"$(echo ${1-*.md */*.md} ${@:2:$#})\"" +./dzref md.bqn ${1-*.md */*.md} ${@:2:$#} diff --git a/md.bqn b/md.bqn index a345e8c7..dd24f240 100644 --- a/md.bqn +++ b/md.bqn @@ -659,3 +659,5 @@ ConvertFile ← { front ← head ∾○(∾⟜lf) nav ("docs/"∾fileout) •FChars front ∾ out } + +ConvertFile¨ •args -- cgit v1.2.3