From f99e8b7f1ce1643ff2a7245ca19c8ce8b6241b6b Mon Sep 17 00:00:00 2001
From: Elemer Lelik <erititan@users.noreply.github.com>
Date: Tue, 11 Aug 2015 11:59:33 +0200
Subject: [PATCH] Update README.linux
---
README.linux | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/README.linux b/README.linux
index 7d412d034..0d35fa76a 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.
--
GitLab