diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build.rb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/build.rb b/scripts/build.rb index ab3a254..5873ac5 100755 --- a/scripts/build.rb +++ b/scripts/build.rb @@ -26,12 +26,16 @@ statics = [ '.well-known/keybase.txt', 'key.asc', 'favicon.ico', - 'button.gif' + 'button.gif', + 'thesis.pdf', + 'thesis-slides.pdf' ] P.add 'key', 'key.asc' P.add 'style', 'style.css' P.add 'button', 'button.gif' +P.add 'thesis', 'thesis.pdf' +P.add 'thesis-slides', 'thesis-slides.pdf' P.add 'index', 'index.html' P.add 'contact', 'contact.html' |