X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=doc%2FMakefile;h=a73e2f7b04261094dc41bf5cd1fb457ceee542d7;hb=5ca751a9eef6ec7a31ac76973d46eac8b48cee52;hp=41a43207210a3ea91a8fbeea83713d2f8183e8ae;hpb=cfd322bd3d1775da08b1a42ffa7816bcd20092a8;p=sbcl.git

diff --git a/doc/Makefile b/doc/Makefile
index 41a4320..a73e2f7 100644
--- 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