From 64bbaeccc48ac784c8fb93fac761a5ab156c3e8f Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Wed, 12 Nov 2014 17:45:36 -0800
Subject: [PATCH] Add doxygen-latex if needed (14.04+)

---
 util/install.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/util/install.sh b/util/install.sh
index 0406d05..d7f7137 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -140,6 +140,9 @@ function mn_deps {
 function mn_dev {
     echo "Installing Mininet developer dependencies"
     $install doxygen doxypy texlive-fonts-recommended
+    if ! $install doxygen-latex; then
+        echo "doxygen-latex not needed"
+    fi
 }
 
 # The following will cause a full OF install, covering: