diff --git a/package.json b/package.json
index 074207e40..3183adc66 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
   "license": "MIT",
   "scripts": {
     "test-all": "rm -rf output && yarn build-tests && yarn tests && yarn build-app-tests && yarn app-tests",
-    "clean-app": "rm -rf dist/app && mkdir -p dist/app && cp -r fluid dist/app && cp web/index.html dist/app && cp -r web/css dist/app",
+    "clean-app": "rm -rf dist/app && mkdir -p dist/app && cp -r fluid dist/app && cp web/index.html dist/app && cp -r web/css dist/app && cp -r web/pdf dist/app",
     "build-app": "yarn clean-app && spago build --purs-args '--strict --censor-codes=UserDefinedWarning' && purs-backend-es bundle-app --main App.Main --to dist/app/app.js",
     "serve-app": "yarn build-app && npx http-serve dist/app -a 127.0.0.1 -c-1",
     "clean-tests": "rm -rf dist/tests && mkdir -p dist/tests && cp web/tests.html dist/tests",
diff --git a/web/pdf/Turing.pdf b/web/pdf/Turing.pdf
new file mode 100644
index 000000000..564b08541
Binary files /dev/null and b/web/pdf/Turing.pdf differ