--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Jenkins/_build/html/_sources/Installation.txt	Fri Jan 12 14:16:17 2018 +0100
@@ -0,0 +1,45 @@
+Installation and running of Jenkins
+'''''''''''''''''''''''''''''''''''
+
+Jenkins Debian package
+----------------------
+
+First add the key to your system::
+	
+	wget -q -O - https://pkg.jenkins.io/debian-stable/jenkins.io.key | sudo apt-key add -
+
+Then add the following entry in your /etc/apt/sources.list::
+
+	deb https://pkg.jenkins.io/debian-stable binary/
+
+Update your local package index, then finally install Jenkins::
+
+	sudo apt-get update
+	sudo apt-get install jenkins
+
+Now you can run Jenkins with::
+
+	sudo service jenkins {start|stop|restart}
+
+You can access the Jenkins webinterface::
+
+	localhost:8080
+
+Follow the instructions to create your admin account.
+
+Jenkins generic Java Package (.war)
+-----------------------------------
+
+Donwload::
+
+	http://mirrors.jenkins.io/war-stable/latest/jenkins.war
+
+Run::
+
+	java -jar jenkins.war --httpPort=8080
+
+You can access the Jenkins webinterface::
+
+	localhost:8080
+
+Follow the instructions to create your admin account.