Update scripts to look in the right places. Update jsfiddles to be more obvious in the HOWTO.
This commit is contained in:
parent
31ec39db7f
commit
505c804426
2 changed files with 16 additions and 11 deletions
|
@ -108,7 +108,7 @@ def main():
|
|||
glob_spec("tmp/full_spec.rst")
|
||||
set_git_version("tmp/full_spec.rst")
|
||||
rst2html("tmp/full_spec.rst", "gen/specification.html")
|
||||
rst2html("../howtos/client-server.rst", "gen/howtos.html")
|
||||
rst2html("../supporting-docs/howtos/client-server.rst", "gen/howtos.html")
|
||||
cleanup_env()
|
||||
|
||||
if __name__ == '__main__':
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue