From 6d4d0823dc508b35c53735a872190ad43aa60315 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@kth.se>
Date: Sun, 7 Mar 2021 20:50:01 +0100
Subject: Start replacing info manual with man pages
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <maandree@kth.se>
---
 info/behead | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 info/behead

(limited to 'info/behead')

diff --git a/info/behead b/info/behead
deleted file mode 100755
index 9bd4ced..0000000
--- a/info/behead
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/usr/bin/env sh
-# See LICENSE file for copyright and license details.
-
-beheading="$1"
-
-data="$(cat)"
-lines="$(echo "${data}" | wc -l)"
-lines=$(expr ${lines} - ${beheading} )
-
-if test $lines -gt 0; then
-    echo "$(echo "${data}" | tail -n ${lines})"
-fi
-- 
cgit v1.2.3-70-g09d2