diff options
Diffstat (limited to 'java/makedist.py')
| -rwxr-xr-x | java/makedist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/makedist.py b/java/makedist.py index bf30ed41344..e1caaee32cf 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -247,7 +247,7 @@ if not skipDocs: os.chdir(os.path.join("ice", "src", "Slice")) os.system("gmake") os.chdir(cwd) - os.chdir(os.path.join("ice", "src", "slice2docbook")) + os.chdir(os.path.join("ice", "src", "slice2html")) os.system("gmake") os.chdir(cwd) os.chdir(os.path.join("ice", "doc")) |