diff --git a/.gitignore b/.gitignore index 4f36607..f178c80 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,5 @@ +*.app/**/* + *~ compiled/* diff --git a/README.pdf b/README.pdf index b52ee09..de0c9ae 100644 Binary files a/README.pdf and b/README.pdf differ diff --git a/README.tex b/README.tex index b8f441c..727efa0 100644 --- a/README.tex +++ b/README.tex @@ -1,16 +1,21 @@ \documentclass[12pt]{scrartcl} -\title{DrBrainfuck Documentation} + +\usepackage[margin=3cm]{geometry} +\usepackage{graphicx} + +\title{\includegraphics[width=0.3\textwidth]{logo.png} \\ \vspace{1cm} DrBrainfuck -- Documentation} \author{Tommaso Rodolfo Masera \and Claudio Maggioni} \date{December 2018} -\usepackage[margin=2cm]{geometry} - \newcommand{\brainfuck}{\emph{Brainf*ck }} \begin{document} +\pagenumbering{gobble} \maketitle \tableofcontents +\newpage +\pagenumbering{arabic} \section{User Level} \subsection{Brief Introduction to \brainfuck} diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..72b866d --- /dev/null +++ b/build.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +ln -s gui.rkt DrBrainf-ck.rkt +raco exe --ico logo.ico --icns logo.icns --gui DrBrainf-ck.rkt +rm DrBrainf-ck.rkt + diff --git a/logo.icns b/logo.icns new file mode 100644 index 0000000..8da6bd3 Binary files /dev/null and b/logo.icns differ diff --git a/logo.ico b/logo.ico new file mode 100644 index 0000000..d2a0270 Binary files /dev/null and b/logo.ico differ diff --git a/logo.png b/logo.png new file mode 100644 index 0000000..8cb58c5 Binary files /dev/null and b/logo.png differ