\documentclass[a4paper]{book}
\usepackage[latin9]{inputenc}
-\usepackage[pdftex,bookmarks=true]{hyperref}
+\usepackage[bookmarks=true]{hyperref}
\usepackage[T1]{fontenc}
\usepackage{ae,aecompl,aeguill}
\usepackage{fancyvrb}
\subsection{Image Builder}
\subsection{SDK}
\section{Adding platform support}
+ \input{adding}
\section{Debugging and debricking}
\subsection{Adding a serial port}
\subsection{JTAG}
+ \section{Reporting bugs}
+ \subsection{Using the Trac ticket system}
+ \input{bugs}
\end{document}