diff options
| author |   mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-08 23:11:24 -0400 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-08 23:11:24 -0400 |
| commit | 60e98cdfdacc7f2973e557fc6d0b28e6f9a6b139 (patch) | |
| tree | 72c9b1f686c0f3c07cc209d4b91bcfa017ff2d16 /src | |
| parent | 0ecb986767b5aeec567f01241b0c06f67c28433c (diff) | |
| download | textadept-60e98cdfdacc7f2973e557fc6d0b28e6f9a6b139.tar.gz textadept-60e98cdfdacc7f2973e557fc6d0b28e6f9a6b139.zip | |
Changed processing pipeline for manually generating documentation.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index 8e0a2b98..2ba21b2b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -270,8 +270,11 @@ clean: ; rm -f *.o ../textadept* ta_home = $(shell dirname `pwd`) docs: manual luadoc -manual: $(addprefix ../docs/,manual.md changelog.md faq.md media.md thanks.md) - for file in $^; do ../scripts/gen_doc.lua $$file; done +manual: $(addprefix ../docs/,manual.md changelog.md faq.md media.md thanks.md) \ + | ../docs/_layouts/default.html + for file in $(basename $^); do \ + cat $| | ../scripts/fill_layout.lua $$file.md > $$file.html; \ + done sed -i -e "s/Textadept Manual/Textadept $(subst _, ,$(version)) Manual/;" \ ../docs/manual.html luadoc: ../modules ../core ../lexers/lexer.lua | ../modules/lua/lua.luadoc |