From 904a97542a9e810971bb6d5c9899a4fa423429eb Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Fri, 26 Jan 2007 17:52:34 +0000
Subject: [PATCH] Only run psset if psset is available.  Otherwise, just copy
 the file. (In case you don't have psset.)

---
 docs/cmu-user/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/cmu-user/Makefile b/docs/cmu-user/Makefile
index 15ae1ad44..5cc85238e 100644
--- a/docs/cmu-user/Makefile
+++ b/docs/cmu-user/Makefile
@@ -83,7 +83,7 @@ all: cmu-user.ps
 # convert the Postscript file to duplex (will print double-sided if
 # the printer supports it)
 %.ps : %.ps1
-	psset -d -o $@ $<
+	if [ -x psset ]; then psset -d -o $@ $<; else cp $< $@; fi
 
 # Tar up the html files
 cmu-user-html.tgz : cmu-user.html
-- 
GitLab