0.8.6.26:

[sbcl.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 41a4320..a73e2f7 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -19,8 +19,8 @@ ifeq ($(SYSTEM),Linux)
     ifneq ($(shell expr "`cat /etc/issue`" : '.*SuSE.*'),0)
       OS=suse
     else   
-      ifneq ($(shell expr "`cat /etc/issue`" : '.*RedHat.*'),0)
-        OS=redhat
+      ifneq ($(shell expr "`cat /etc/issue`" : 'Red Hat Linux release 9'),0)
+        OS=redhat9
       endif
     endif
   endif