diff options
| author |  Calvin Rose <calsrose@gmail.com> | 2018-12-25 17:37:52 -0500 |
|---|---|---|
| committer | Calvin Rose <calsrose@gmail.com> | 2018-12-25 17:37:52 -0500 |
| commit | 017ee2b0d13f07d7c68fde4b6f390133f22c775b (patch) | |
| tree | e1adec17849a2dcf303ae1326046e7bd2db7b889 | |
| parent | Move janet natives to new repos. (diff) | |
Move gendoc.janet script.
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | build_win.bat | 2 | ||||
| -rw-r--r-- | tools/gendoc.janet (renamed from doc/gendoc.janet) | 2 |
3 files changed, 5 insertions, 3 deletions
@@ -166,8 +166,8 @@ build/janet-%.tar.gz: $(JANET_TARGET) src/include/janet/janet.h \ docs: build/doc.html -build/doc.html: $(JANET_TARGET) doc/gendoc.janet - $(JANET_TARGET) doc/gendoc.janet > build/doc.html +build/doc.html: $(JANET_TARGET) tools/gendoc.janet + $(JANET_TARGET) tools/gendoc.janet > build/doc.html ################# ##### Other ##### diff --git a/build_win.bat b/build_win.bat index 1169d393..5303fcec 100644 --- a/build_win.bat +++ b/build_win.bat @@ -93,7 +93,7 @@ exit /b 0 @rem Build a dist directory :DIST mkdir dist -janet.exe doc\gendoc.janet > dist\doc.html +janet.exe tools\gendoc.janet > dist\doc.html copy janet.exe dist\janet.exe copy LICENSE dist\LICENSE copy README.md dist\README.md diff --git a/doc/gendoc.janet b/tools/gendoc.janet index 1d1c273e..3e81528e 100644 --- a/doc/gendoc.janet +++ b/tools/gendoc.janet @@ -1,5 +1,7 @@ # Generate documentation +# TODO - make tool reusable + (def- prelude ``` <!doctype html> |