r11021: 2006-08-13 Kevin Rosenberg (kevin@rosenberg.net)

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index cfae6cc7467329fed8196fe6ea113baa55b3c652..db4b9f6c54554cab252eafcf5b35896db43999b9 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -18,6 +18,7 @@ DOCFILE_EXT_DEFAULT:=xml
 # Standard docfile processing
 
 DEBIAN=$(shell expr "`cat /etc/issue 2> /dev/null`" : '.*Debian.*')
+UBUNTU=$(shell expr "`cat /etc/issue 2> /dev/null`" : '.*Ubuntu.*')
 SUSE=$(shell expr "`cat /etc/issue 2> /dev/null`" : '.*SuSE.*')
 SUSE91=$(shell expr "`cat /etc/issue 2> /dev/null`" : '.*SuSE Linux 9.1.*')
 REDHAT=$(shell expr "`cat /etc/issue 2> /dev/null`" : '.*Red Hat.*')
@@ -41,6 +42,10 @@ else
         else   
           ifneq (${DARWIN},0)
             OS=darwin
+          else  
+            ifneq (${UBUNTU},0)
+              OS=ubuntu
+            endif 
           endif 
         endif
       endif