From: Ian Lynagh <igloo@earth.li>
Date: Wed, 31 Oct 2007 00:12:18 +0000 (+0000)
Subject: Replace "tail -n +2" with "sed 1d", as Solaris doesn't understand the former
X-Git-Tag: 2007-11-11~8
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=23a75f76eb39cc24cc5fc046ba7ae36a3221c320

Replace "tail -n +2" with "sed 1d", as Solaris doesn't understand the former
---

diff --git a/docs/man/Makefile b/docs/man/Makefile
index 155767e..7fa112d 100644
--- a/docs/man/Makefile
+++ b/docs/man/Makefile
@@ -33,7 +33,8 @@ flags.xml: ../users_guide/flags.xml
 	echo "<!DOCTYPE sect1 [<!ENTITY ndash  \"-\"> \
 	                       <!ENTITY ldquo  \"\`\"> \
 	                       <!ENTITY rdquo  \"'\">]>" >> $@
-	tail -n +2 $< >> $@
+	# "sed 1d" == "tail -n +2", but Solaris apparently rejects the latter
+	sed 1d $< >> $@
 
 endif