Updated the README and Practical guide so that they have instructions
[barrelfish] / doc / 018-Practical-guide / PracticalGuide.tex
index aa82d22..403eca8 100644 (file)
@@ -39,9 +39,9 @@
 %
 % Include version history first
 %
-\begin{versionhistory}
-\vhEntry{1.0}{06.12.2013}{Pravin}{Initial version}
-\end{versionhistory}
+%\begin{versionhistory}
+%\vhEntry{1.0}{06.12.2013}{Pravin}{Initial version}
+%\end{versionhistory}
 
 % \intro{Abstract}             % Insert abstract here
 % \intro{Acknowledgements}     % Uncomment (if needed) for acknowledgements
@@ -57,14 +57,13 @@ This note describes how to build and boot Barrelfish on 64-bit PC
 hardware, which is the default configuration for Barrelfish.  It then
 goes on to work through a simple ``hello, world''-style application
 which illustrates client-server programming in C on Barrelfish, and
-the use of the message-passing subsystem. 
+the use of the message-passing subsystem.
 
 Information on how to compile Barrelfish for other platforms, in
 particular ARM, are found in other documents.  However, the
-application programming section in this guide is still relevant. 
+application programming section in this guide is still relevant.
 
 \chapter{PC compilation and installation}\label{chap:compilationInstallation}
-
 \input{readme}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%