diff options
| m--------- | papers | 0 | ||||
| -rwxr-xr-x | tools/updater.py | 3 |
2 files changed, 2 insertions, 1 deletions
diff --git a/papers b/papers -Subproject 4c9ea8d0fee8f991cc8801ca8d83ea8b5c2571a +Subproject b5dee8b0396ec81fab8e2ca8edf0c1243fefd26 diff --git a/tools/updater.py b/tools/updater.py index 8b3128c..b853533 100755 --- a/tools/updater.py +++ b/tools/updater.py @@ -11,7 +11,8 @@ if __name__ == '__main__': system("cd libs && cd nectar && git pull && cd ..") system("cd libs && cd build && git pull && cd ..") system("cd libs && cd boot && git pull && cd ..") - system("git add src/kernel src/nectar src/build src/boot") + system("cd papers && git pull") + system("git add src/kernel src/nectar papers src/build src/boot") system("git commit -s -S") |