From 1279b41cd6e389c6bb49ec017096b16a5096a92f Mon Sep 17 00:00:00 2001
From: istvanbohm <seeker87@inf.elte.hu>
Date: Mon, 10 Aug 2015 14:04:06 +0200
Subject: [PATCH] Update README.linux

Corrected the enumeration of the list.
---
 README.linux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.linux b/README.linux
index 7d412d0..0d35fa7 100644
--- a/README.linux
+++ b/README.linux
@@ -71,11 +71,11 @@ GEN_PDF := no
 
 
 
-3. Run make
+4. Run make
 
 make
 
-4. Set environment variables
+5. Set environment variables
 
 setenv TTCN3_DIR /home/<user id>/titan/Install
 setenv PATH /home/<userid>/titan.core/Install/bin/:${PATH}
@@ -91,14 +91,14 @@ export LD_LIBRARY_PATH=/home/<userid>/titan.core/Install/lib:${LD_LIBRARY_PATH}
 
 for bash
 
-5. Run make install
+6. Run make install
 
 make install
 
 This will install Titan into  /home/<user id>/titan/Install
 
 
-6. Optionally , run function/regression tests
+7. Optionally , run function/regression tests
 
 cd /home/<user id>/titan/function_test
 
@@ -123,7 +123,7 @@ make run
 
 These tests might run for half an hour (regr.tests)  to two hours (func.tests)
 
-7. Optionally , copy Titan into its final directory.
+8. Optionally , copy Titan into its final directory.
 From here on, you can continue with the Titan installation guide, see /Install/docs, 
 to set/change environment variables etc.
 
-- 
2.34.1