From e6b22c24afc90cc379fcefa02c098d1fa8a6205a Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Thu, 16 Jan 2014 14:40:52 -0500 Subject: [PATCH] tools: generate nit tools doc as `nitc`, not `newmodel` Signed-off-by: Jean Privat --- .gitignore | 1 + Makefile | 12 ++++++------ 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/.gitignore b/.gitignore index 06197ac..42258a6 100644 --- 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 --- 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 "
  • Nitlanguage.org
  • " \ - --custom-overview-text "

    Documentation for the Nit tools based on the new metamodel
    Version $$(git describe)
    Date: $$(git show --format="%cd" | head -1)

    " \ - --custom-footer-text "Nit new metamodel. Version $$(git describe)." \ + --custom-overview-text "

    Documentation for the Nit tools
    Version $$(git describe)
    Date: $$(git show --format="%cd" | head -1)

    " \ + --custom-footer-text "Nit tools. Version $$(git describe)." \ --github-upstream "privat:nit:master" \ --github-base-sha1 "$$(git rev-parse HEAD)" \ --github-gitdir "." \ -- 1.7.9.5