Changes between Version 41 and Version 42 of DoxygenPlugin


Ignore:
Timestamp:
Jan 10, 2007, 12:29:46 PM (8 years ago)
Author:
anonymous
Comment:

corrected a type error

Legend:

Unmodified
Added
Removed
Modified
  • DoxygenPlugin

    v41 v42  
    9595OUTPUT_DIRECTORY = stable
    9696HTML_OUTPUT = html
    97 $ grep OUTPUT Doxygen.devel
     97$ grep OUTPUT Doxyfile.devel
    9898OUTPUT_DIRECTORY = devel
    9999HTML_OUTPUT = html