From 0b9e0b78ab05041261bb46f24d030281d4e1fe4b Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 10 Oct 2013 10:02:59 +0000
Subject: [PATCH] added copyright notice (for print)
git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15962 1434b563-b632-4741-aa49-43a3a8374d2e
---
.../latex/rodin-doc.tex | 31 ++++++++++++++++---
1 file changed, 27 insertions(+), 4 deletions(-)
diff --git a/org.rodinp.handbook.feature/latex/rodin-doc.tex b/org.rodinp.handbook.feature/latex/rodin-doc.tex
index 9c1294a..cbe5ca8 100644
--- a/org.rodinp.handbook.feature/latex/rodin-doc.tex
+++ b/org.rodinp.handbook.feature/latex/rodin-doc.tex
@@ -1,6 +1,6 @@
\ifdefined\isinprint
-\documentclass[10pt]{book}
-\usepackage[paperwidth=155.93mm,paperheight=233.89mm]{geometry}
+\documentclass[twoside,10pt]{book}
+\usepackage[twoside,paperwidth=155.93mm,paperheight=233.89mm,margin=15mm,bindingoffset=5mm]{geometry}
\usepackage[colorlinks=false,
pdfborder={0 0 0}
pdftex,
@@ -37,7 +37,6 @@
\input{config}
\input{makros}
-
\title{Rodin User's Handbook v.\versionnr}
\author{
Work in Progress\\
@@ -48,10 +47,11 @@ Handbook $ $Rev$ $ \\
}
\begin{document}
-
+\pagestyle{empty}
\ifplastex
\maketitle
\else
+\pagenumbering{roman}
\begin{titlepage}
\AddToShipoutPicture*{\BackgroundPic}
\vspace*{\titletop}
@@ -77,6 +77,28 @@ Handbook $ $Rev$ $ \\
\vspace*{\titlebottom}
\end{titlepage}
+\ifdefined\isinprint
+\cleardoublepage
+% Title page
+\vspace*{10em}
+\begin{center}
+ {\huge \textbf{Rodin User's Handbook}}\\
+ \vspace{2em}
+ {\large Covers Rodin v.\versionnr}
+\end{center}
+\clearpage
+% Copyright page
+\vspace*{\fill}
+\noindent\textbf{Rodin User's Handbook}\\
+~\\
+\noindent\copyright Formal Mind Gmbh 2013\\
+This work, except the cover image, is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit \href{http://creativecommons.org/licenses/by-sa/3.0/}{creative\-com\-mons.org/\-licenses/\-by-sa/3.0/} or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA.\\
+The cover image of a Rodin statue was created by Miikka Skaffari.
+It is licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License. To view a copy of this license, visit \href{http://creativecommons.org/licenses/by-sa/3.0/}{creative\-com\-mons.org/\-licenses/\-by-sa/3.0/} or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA.
+\vspace{10em}
+\else\fi
+\cleardoublepage
+\pagenumbering{arabic}
\phantomsection
\addcontentsline{toc}{chapter}{Contents}
\tableofcontents
@@ -85,6 +107,7 @@ Handbook $ $Rev$ $ \\
\chapter*{Preface}
\addcontentsline{toc}{chapter}{Preface}
\label{preface}
+\pagestyle{headings}
Nobody likes to write documentation, yet everybody agrees that documentation is crucially important. For a tool platform as complex as Rodin, documentation is necessary if it is supposed to succeed in reaching a wider audience.
--
GitLab