From 47f3d3ffe2c02baf2a38b32c68314d5725639cc0 Mon Sep 17 00:00:00 2001
From: Elemer Lelik <erititan@users.noreply.github.com>
Date: Tue, 11 Aug 2015 11:58:07 +0200
Subject: [PATCH] Revert "Update README.linux"
---
README.linux | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/README.linux b/README.linux
index 0d35fa76a..7d412d034 100644
--- a/README.linux
+++ b/README.linux
@@ -71,11 +71,11 @@ GEN_PDF := no
-4. Run make
+3. Run make
make
-5. Set environment variables
+4. 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
-6. Run make install
+5. Run make install
make install
This will install Titan into /home/<user id>/titan/Install
-7. Optionally , run function/regression tests
+6. 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)
-8. Optionally , copy Titan into its final directory.
+7. 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