From 32f7847bca4bd2a7f49142622551e6978455de45 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Tue, 3 Apr 2012 17:50:59 -0700
Subject: [PATCH] Change doxypy.py to doxypy.

---
 util/doxify.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/doxify.py b/util/doxify.py
index 62e40ac9..f9f60ad1 100755
--- a/util/doxify.py
+++ b/util/doxify.py
@@ -82,7 +82,7 @@ def fixLines( lines, fid ):
     fixLines( infile.readlines(), outfid )
     infile.close()
     os.close( outfid )
-    call( [ 'doxypy.py', outname ] )
+    call( [ 'doxypy', outname ] )
 
 
 
-- 
GitLab