summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2021-10-20 13:43:58 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2021-10-20 13:43:58 +0200
commit1bbd01a9837c5a4297e53701055a309593945fa1 (patch)
treeee2724ba79fafbfd2b64928c267e90d8097964ce /doc
parentb19d997a16b93f49d5bde0938f7e53949a0ee5f1 (diff)
Update intro scripts
Diffstat (limited to 'doc')
-rw-r--r--doc/release.cli5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/release.cli b/doc/release.cli
index bc37f56..2c34796 100644
--- a/doc/release.cli
+++ b/doc/release.cli
@@ -154,11 +154,12 @@ distribution from \c{etc/stage} and add the pre-distributed packages
\
cd etc
- ./intro2-tldr 2>&1 | tee intro2-tldr.out
+ script -qc ./intro2-tldr intro2-tldr.out && sed -i -e 's/\r//g' intro2-tldr.out
diff -u intro2-tldr.orig intro2-tldr.out # Or use gitk.
mv intro2-tldr.out intro2-tldr.orig
- ./intro2-tour 2>&1 | tee intro2-tour.out
+
+ script -qc ./intro2-tour intro2-tour.out && sed -i -e 's/\r//g' intro2-tour.out
diff -u intro2-tour.orig intro2-tour.out # Or use gitk.
mv intro2-tour.out intro2-tour.orig
\