From: John W. <joe...@us...> - 2004-08-02 20:45:00
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv31554 Modified Files: project.xml project.properties Log Message: Updates. Index: project.properties =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.properties,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** project.properties 28 Jul 2004 11:56:07 -0000 1.4 --- project.properties 2 Aug 2004 20:44:47 -0000 1.5 *************** *** 1,5 **** # Where to find source code, used by tasklist plugin. ! maven.src.dir = . # Tell maven where to find jdd.jar, because it cannot build it itself. --- 1,8 ---- # Where to find source code, used by tasklist plugin. ! #maven.src.dir = . ! ! # The string to look for in TODO tags, used by tasklist plugin. ! #maven.tasklist.taskTag = TODO # Tell maven where to find jdd.jar, because it cannot build it itself. *************** *** 22,23 **** --- 25,32 ---- maven.native.src = . maven.native.src.includes = buddy/src/*.c buddy/src/*.h buddy_jni.c + + # Properties for Javadoc generation. + maven.javadoc.links = http://java.sun.com/j2se/1.4.2/docs/api/ + maven.javadoc.protected = true + maven.javadoc.private = false + #maven.javadoc.overview = docs/overview.html Index: project.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.xml,v retrieving revision 1.8 retrieving revision 1.9 diff -C2 -d -r1.8 -r1.9 *** project.xml 1 Aug 2004 08:41:35 -0000 1.8 --- project.xml 2 Aug 2004 20:44:47 -0000 1.9 *************** *** 7,12 **** <logo>/images/logo2_mid.jpg</logo> <organization> ! <name>Sourceforge</name> ! <url>http://sourceforge.net</url> <logo>http://sourceforge.net/sflogo.php?group_id=72725&type=5</logo> </organization> --- 7,12 ---- <logo>/images/logo2_mid.jpg</logo> <organization> ! <name>John Whaley</name> ! <url>http://www.stanford.edu/~jwhaley</url> <logo>http://sourceforge.net/sflogo.php?group_id=72725&type=5</logo> </organization> *************** *** 238,242 **** </report> <report> ! maven-tasklist-plugin </report> <report> --- 238,242 ---- </report> <report> ! maven-dashboard-plugin </report> <report> *************** *** 246,249 **** --- 246,255 ---- maven-jxr-plugin </report> + <report> + maven-findbugs-plugin + </report> + <report> + maven-linkcheck-plugin + </report> <!-- TOO EXPENSIVE <report> |