Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/ant/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
自定义index.html javadoc页面?_Java_Ant_Javadoc - Fatal编程技术网

自定义index.html javadoc页面?

自定义index.html javadoc页面?,java,ant,javadoc,Java,Ant,Javadoc,我正在使用ant任务运行javadoc: <target name="javadoc" description="create javadoc"> <delete dir="javadoc" /> <mkdir dir="javadoc" /> <javadoc destdir="javadoc"> <fileset dir="src/main/java" includes="sk/**" />

我正在使用ant任务运行javadoc:

<target name="javadoc"  description="create javadoc">
    <delete dir="javadoc" />
    <mkdir dir="javadoc" />
    <javadoc destdir="javadoc">
        <fileset dir="src/main/java" includes="sk/**" />
    </javadoc>
</target>


我想更改default index.html页面以提供简短的用户指南。我可以修改index.html,将它复制到其他地方,并在ant javadoc任务完成后重写它,但这似乎有点愚蠢。有没有更常见的方法来实现这一目标?谢谢

您正在寻找javadoc的-overview选项。有关详细信息,请参见。

在Ant中,您需要像这样使用
overview
属性:

<javadoc destdir="javadoc" overview="src/overview.html">...</javadoc>
。。。