diff options
| -rwxr-xr-x | scripts/build.rb | 6 | ||||
| -rw-r--r-- | src/projects.html.erb | 4 | ||||
| -rw-r--r-- | src/thesis-slides.pdf | bin | 0 -> 256122 bytes | |||
| -rw-r--r-- | src/thesis.pdf | bin | 0 -> 350574 bytes |
4 files changed, 9 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' diff --git a/src/projects.html.erb b/src/projects.html.erb index f7166bf..ba31ad5 100644 --- a/src/projects.html.erb +++ b/src/projects.html.erb @@ -19,6 +19,10 @@ additional code can be found on my <a href='https://github.com/m-chrzan'>GitHub used Jekyll, but I wanted to play around and build something minimal for personal use. I'm not a webdev. </li> + <li><a href='<%= path_to 'thesis' %>'>MSO Query Answering on Trees</a>: my + master's thesis. + <a href='<%= git 'mgr' %>'>[source]</a> + <a href='<%= path_to 'thesis-slides' %>'>[slides]</a> <li><a href='<%= git 'dicebag' %>'>Dicebag</a>: a dice expression parser and roller. </li> diff --git a/src/thesis-slides.pdf b/src/thesis-slides.pdf Binary files differnew file mode 100644 index 0000000..798c21a --- /dev/null +++ b/src/thesis-slides.pdf diff --git a/src/thesis.pdf b/src/thesis.pdf Binary files differnew file mode 100644 index 0000000..f707b9e --- /dev/null +++ b/src/thesis.pdf |