e805bf7 don't give doxygen /dev/null as a parameter, make it use a non-existant

Authored and Committed by Bernard Johnson 17 years ago
    don't give doxygen /dev/null as a parameter, make it use a non-existant
        file instead
    
        
file modified
+0 -1
file modified
+6 -1