diff options
| author | David Robillard <d@drobilla.net> | 2012-04-18 05:20:59 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2012-04-18 05:20:59 +0000 |
| commit | fff603782cdfdf7443163813f2b72c5286dd2ced (patch) | |
| tree | 8872959725e5dfc8050fe7ccef6a6c2db01a5d8c /wscript | |
| parent | 515cdb91cfb7b0841f6d83a35b33447da1ee38c5 (diff) | |
| download | serd-fff603782cdfdf7443163813f2b72c5286dd2ced.tar.gz serd-fff603782cdfdf7443163813f2b72c5286dd2ced.tar.bz2 serd-fff603782cdfdf7443163813f2b72c5286dd2ced.zip | |
Serd 0.14.0v0.14.0
git-svn-id: http://svn.drobilla.net/serd/tags/serd-0.14.0@349 490d8e77-9747-427b-9fa3-0b8f29cee8a0
Diffstat (limited to 'wscript')
| -rw-r--r-- | wscript | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -264,9 +264,9 @@ def fix_docs(ctx): os.chdir(build_dir(ctx, 'doc/html')) os.system("sed -i 's/SERD_API //' group__serd.html") os.system("sed -i 's/SERD_DEPRECATED //' group__serd.html") + os.system("sed -i 's/href=\"doc\/style.css\"/href=\"style.css\"/' group__serd.html") os.remove('index.html') - os.symlink('group__serd.html', - 'index.html') + os.symlink('group__serd.html', 'index.html') os.chdir(top) os.chdir(build_dir(ctx, 'doc/man/man3')) os.system("sed -i 's/SERD_API //' serd.3") |