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

[ghc-hetmet.git] / docs / man / Makefile

diff --git a/docs/man/Makefile b/docs/man/Makefile
index 155767e..7fa112d 100644 (file)
--- 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