From ebcdf0f19f43f39d15506cc4f16c7265a4e84302 Mon Sep 17 00:00:00 2001
From: Alex Cunningham <alexgcunningham@gmail.com>
Date: Mon, 16 Jul 2012 14:56:10 +0000
Subject: [PATCH] Removed unnecessary makedoc.sh script - documentation can now
 be built using "make doc"

---
 makedoc.sh | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100755 makedoc.sh

diff --git a/makedoc.sh b/makedoc.sh
deleted file mode 100755
index 8de348fa5..000000000
--- a/makedoc.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh
-
-# Add to PATH the default install path for doxygen on Mac OS X
-
-PATH=$PATH:/Applications/Doxygen.app/Contents/Resources
-
-
-# Run doxygen from the gtsam directory even if this script is run from another
-# directory, so that the output 'doc' goes in the gtsam directory.
-
-GTSAM_DIR=$(dirname "$0")
-cd $GTSAM_DIR/doc
-doxygen
\ No newline at end of file