3 \usepackage{xcolor
} % Used for listings
4 \usepackage{listings
} % Source code highlighting
5 \usepackage[british
]{isodate
} % Dateformat
6 \usepackage[dutch
]{babel
} % Internationalized decorations
7 \usepackage{graphicx} % Include images
8 \usepackage{caption
} % Customize figure captions
10 \newcommand{\Make}{\textsc{make
}}
14 \frametitle{Table of Contents
}
15 \tableofcontents[currentsection
]
21 \DeclareGraphicsExtensions{.eps
}
24 \captionsetup[figure
]{name=
{},textfont=
{scriptsize,it
}}
25 \captionsetup[code
]{name=
{},textfont=
{scriptsize,it
}}
29 basicstyle=
\footnotesize\ttfamily,
36 commentstyle=
\color{green
},
37 stringstyle=
\color{olive
},
38 keywordstyle=
\color{brown
},
40 showstringspaces=false,
44 \author[Lubbers M
]{Mart Lubbers
\inst{1}}
45 \institute{\inst{1}\href{mailto:mart@martlubbers.net
}{mart@martlubbers.net
}}
47 \title[\Make]{(GNU)
\Make{} (Files)
}
49 \subtitle{\url{https://www.gnu.org/software/make/
}}
50 \date[LUGN50
]{\printdate{08.11.2016}}