Added logo and [super]compiling script

This commit is contained in:
Claudio Maggioni 2018-12-13 20:51:33 +01:00
parent bdb2b33c01
commit 07c538e9b3
7 changed files with 16 additions and 3 deletions

2
.gitignore vendored
View file

@ -1,3 +1,5 @@
*.app/**/*
*~ *~
compiled/* compiled/*

Binary file not shown.

View file

@ -1,16 +1,21 @@
\documentclass[12pt]{scrartcl} \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} \author{Tommaso Rodolfo Masera \and Claudio Maggioni}
\date{December 2018} \date{December 2018}
\usepackage[margin=2cm]{geometry}
\newcommand{\brainfuck}{\emph{Brainf*ck }} \newcommand{\brainfuck}{\emph{Brainf*ck }}
\begin{document} \begin{document}
\pagenumbering{gobble}
\maketitle \maketitle
\tableofcontents \tableofcontents
\newpage
\pagenumbering{arabic}
\section{User Level} \section{User Level}
\subsection{Brief Introduction to \brainfuck} \subsection{Brief Introduction to \brainfuck}

6
build.sh Executable file
View file

@ -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

BIN
logo.icns Normal file

Binary file not shown.

BIN
logo.ico Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 361 KiB

BIN
logo.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 33 KiB