tools: generate nit tools doc as `nitc`, not `newmodel`

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/.gitignore b/.gitignore
index 06197ac..42258a6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@ EIFGENs
 *.orig
 bin/nit*
 doc/stdlib
+doc/nitc
 doc/newmodel
 
 *.aux

diff --git a/Makefile b/Makefile
index 66eeea6..ec17022 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@ NITCOPT=
 
 all: tools doc/stdlib/index.html
 
-docs: doc/stdlib/index.html doc/newmodel/index.html
+docs: doc/stdlib/index.html doc/nitc/index.html
        #cd doc; make
 
 tools:
@@ -38,13 +38,13 @@ doc/stdlib/index.html: bin/nitdoc
                --custom-footer-text "Nit standard library. Version $$(git describe)." \
                --source "https://github.com/privat/nit/blob/$$(git rev-parse HEAD)/%f#L%l-%L"
 
-doc/newmodel/index.html: bin/nitdoc
-       bin/nitdoc src/nit.nit src/nitmetrics.nit src/nitg.nit src/nitx.nit src/nitunit.nit src/nitlight.nit src/dbgcli.nit src/netdbg.nit -d doc/newmodel \
+doc/nitc/index.html: bin/nitdoc
+       bin/nitdoc src/nit.nit src/nitmetrics.nit src/nitg.nit src/nitx.nit src/nitunit.nit src/nitlight.nit src/dbgcli.nit src/netdbg.nit -d doc/nitc \
                --private \
-               --custom-title "Nit New Model" \
+               --custom-title "Nit Compilers and Tools" \
                --custom-menu-items "<li><a href=\"http://nitlanguage.org/\">Nitlanguage.org</a></li>" \
-               --custom-overview-text "<p>Documentation for the Nit tools based on the new metamodel<br/>Version $$(git describe)<br/>Date: $$(git show --format="%cd" | head -1)</p>" \
-               --custom-footer-text "Nit new metamodel. Version $$(git describe)." \
+               --custom-overview-text "<p>Documentation for the Nit tools<br/>Version $$(git describe)<br/>Date: $$(git show --format="%cd" | head -1)</p>" \
+               --custom-footer-text "Nit tools. Version $$(git describe)." \
                --github-upstream "privat:nit:master" \
                --github-base-sha1 "$$(git rev-parse HEAD)" \
                --github-gitdir "." \