diff options
| author |   mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-04 23:33:02 -0400 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-04 23:33:02 -0400 |
| commit | 7a98e09ae4b424031835cdb8986d93926c7ac0bd (patch) | |
| tree | 65dcff0f522310d142943701fd4b60df29ffcf24 /src/Makefile | |
| parent | e6feddc952ecb232ac0304ffa698ae707ac39cdb (diff) | |
| download | textadept-7a98e09ae4b424031835cdb8986d93926c7ac0bd.tar.gz textadept-7a98e09ae4b424031835cdb8986d93926c7ac0bd.zip | |
Moved all top-level .md files into docs/ except README.md.
Also fixed lack of header anchors in generated HTML.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/Makefile b/src/Makefile index bd49890c..8e0a2b98 100644 --- a/src/Makefile +++ b/src/Makefile @@ -270,11 +270,8 @@ clean: ; rm -f *.o ../textadept* ta_home = $(shell dirname `pwd`) docs: manual luadoc -manual: ../*.md ../docs/manual.md - for file in $^; do \ - markdown $$file | ../scripts/gen_doc.lua > \ - ../docs/`basename $$file .md`.html; \ - done +manual: $(addprefix ../docs/,manual.md changelog.md faq.md media.md thanks.md) + for file in $^; do ../scripts/gen_doc.lua $$file; done sed -i -e "s/Textadept Manual/Textadept $(subst _, ,$(version)) Manual/;" \ ../docs/manual.html luadoc: ../modules ../core ../lexers/lexer.lua | ../modules/lua/lua.luadoc |