Updated dev guide for Photran 8.1
diff --git a/org.eclipse.photran-dev-docs/dev-guide/app-deploy.ltx-inc b/org.eclipse.photran-dev-docs/dev-guide/app-deploy.ltx-inc
index 38ab527..8371693 100644
--- a/org.eclipse.photran-dev-docs/dev-guide/app-deploy.ltx-inc
+++ b/org.eclipse.photran-dev-docs/dev-guide/app-deploy.ltx-inc
@@ -84,7 +84,9 @@
 
 \item Add a Bugzilla version for the release and a target for the next expected release
 
-\item Update the Web site:
+\item Update the Web site.  It is in the following Git
+      repository:\footnote{See \url{http://bugs.eclipse.org/413409}} \\
+      \centerline{\texttt{ssh://username@git.eclipse.org/gitroot/www.eclipse.org/photran.git}}
     \begin{enumerate}
     \item Update the home page to mention the release
     \item Change the update site URL and archived update site link on the Downloads page
diff --git a/org.eclipse.photran-dev-docs/dev-guide/app-git.ltx-inc b/org.eclipse.photran-dev-docs/dev-guide/app-git.ltx-inc
index 770a0ac..7c0cd16 100644
--- a/org.eclipse.photran-dev-docs/dev-guide/app-git.ltx-inc
+++ b/org.eclipse.photran-dev-docs/dev-guide/app-git.ltx-inc
@@ -1,7 +1,7 @@
 % Getting the Photran Sources from Git
 \vspace{-0.5in}
 
-{\scriptsize Last modified June 29, 2012}
+{\scriptsize Last modified July 22, 2013}
 
 This describes how to check out the source code for the current \textit{development} version
 of Photran.  At any given time, this is the version of Photran that will be released the
@@ -60,7 +60,7 @@
 \begin{enumerate}
       \item Start Eclipse.  Inside Eclipse, click on the ``Help'' menu, and choose ``Install New Software...''
       \item In the ``Work with:'' combo box, choose the update site for the latest Eclipse release train.
-            As of January, 2012, this should be labeled ``Juno -- http://download.eclipse.org/releases/juno''
+            As of July, 2013, this should be labeled ``Kepler -- http://download.eclipse.org/releases/kepler''
       \item Expand the ``Collaboration'' category
       \item Under ``Collaboration,'' check the box next to ``Eclipse EGit''
       \item Expand the ``Programming Languages'' category
@@ -128,7 +128,8 @@
 	    \item Most people will enter \\
 	      \centerline{\texttt{git://git.eclipse.org/gitroot/ptp/org.eclipse.photran.git}}
 	    \item If you are a committer at the Eclipse Foundation, enter \\
-	      \centerline{\texttt{ssh://username@git.eclipse.org/gitroot/ptp/org.eclipse.photran.git}}
+	      \centerline{\texttt{ssh://username@git.eclipse.org:29418/ptp/org.eclipse.photran}}
+	      %\centerline{\texttt{ssh://username@git.eclipse.org/gitroot/ptp/org.eclipse.photran.git}}
 	      replacing \texttt{username} with your committer username.
 	    \end{itemize}
 	\item Click ``Next''
diff --git a/org.eclipse.photran-dev-docs/dev-guide/app-history.ltx-inc b/org.eclipse.photran-dev-docs/dev-guide/app-history.ltx-inc
index 0b634de..ab0cc1e 100644
--- a/org.eclipse.photran-dev-docs/dev-guide/app-history.ltx-inc
+++ b/org.eclipse.photran-dev-docs/dev-guide/app-history.ltx-inc
@@ -25,7 +25,8 @@
 6.0.0 & Jun 2010 & 3.6     & 7.0.0 & First release as part of the train (Helios) \\
 7.0.0 & Jun 2011 & 3.7     & 8.0.0 & Indigo release train \\
 8.0.0 & Jun 2012 & 4.2     & 8.1.0 & Juno release train \\
-8.1.0 & Jun 2013 & 4.3     & 9.0.0 & Kepler release train (PLANNED) \\
+8.1.0 & Jun 2013 & 4.3     & 8.2.0 & Kepler release train \\
+8.2.0 & Jun 2014 & 4.4     & ?     & Luna (PLANNED) \\
 %Vers & Mon Year & Platfrm & CDT   & \\
 \end{tabular}
 }
diff --git a/org.eclipse.photran-dev-docs/dev-guide/dev-guide-general.pdf b/org.eclipse.photran-dev-docs/dev-guide/dev-guide-general.pdf
index 71c35af..879482e 100644
--- a/org.eclipse.photran-dev-docs/dev-guide/dev-guide-general.pdf
+++ b/org.eclipse.photran-dev-docs/dev-guide/dev-guide-general.pdf
Binary files differ
diff --git a/org.eclipse.photran-dev-docs/dev-guide/dev-guide-specialized.pdf b/org.eclipse.photran-dev-docs/dev-guide/dev-guide-specialized.pdf
index db5a003..f9ab486 100644
--- a/org.eclipse.photran-dev-docs/dev-guide/dev-guide-specialized.pdf
+++ b/org.eclipse.photran-dev-docs/dev-guide/dev-guide-specialized.pdf
Binary files differ
diff --git a/org.eclipse.photran-dev-docs/dev-guide/git-instructions.pdf b/org.eclipse.photran-dev-docs/dev-guide/git-instructions.pdf
index 0f2be60..9825184 100644
--- a/org.eclipse.photran-dev-docs/dev-guide/git-instructions.pdf
+++ b/org.eclipse.photran-dev-docs/dev-guide/git-instructions.pdf
Binary files differ