diff options
Diffstat (limited to 'java/allDemos.py')
-rwxr-xr-x | java/allDemos.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/java/allDemos.py b/java/allDemos.py index 9aa4eb8542c..e63f315d13e 100755 --- a/java/allDemos.py +++ b/java/allDemos.py @@ -53,11 +53,11 @@ demos = [ "Freeze/library", "Freeze/transform", "Freeze/casino", - "book/evictor_filesystem", - "book/map_filesystem", - "book/simple_filesystem", - "book/printer", - "book/lifecycle", + "manual/evictor_filesystem", + "manual/map_filesystem", + "manual/simple_filesystem", + "manual/printer", + "manual/lifecycle", ] if __name__ == "__main__": |