diff options
Diffstat (limited to 'premake5.lua')
-rw-r--r-- | premake5.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/premake5.lua b/premake5.lua index 6105513..b7d7f0c 100644 --- a/premake5.lua +++ b/premake5.lua @@ -7,7 +7,9 @@ project("Pong") description = "Install the game to prefix.", execute = function() os.mkdir(string.format("%s/Pong/resources", prefix)) + os.mkdir(string.format("%s/Pong/docs", prefix)) os.executef("cp -r resources/* %s/Pong/resources/", prefix) + os.executef("cp -r docs/* %s/Pong/docs", prefix) os.executef("install -m755 bin/*/Pong %s/Pong/pong", prefix) os.exit(0) end |