📄 common.xml
字号:
<?xml version="1.0"?>
<!-- Copyright (C) 2006 Ferdinand Prantl <prantl@users.sourceforge.net> -->
<!-- All rights reserved. -->
<!-- -->
<!-- This work is licensed under a Creative Commons Attribution 2.5 --><!-- License. See the attached file LICENSE for more information. --><!-- See also http://creativecommons.org/licenses/by/2.5/. --><!-- -->
<!-- See http://domino-javadoc.sourceforge.net for the most recent version -->
<!-- and more information. -->
<project>
<property name="name" value="domino-javadoc" />
<property name="title" value="Domino Javadoc Generator" />
<property name="version" value="0.4" />
<property name="debug" value="true" />
<property name="optimize" value="true" />
<property name="deprecation" value="true" />
<property name="slides.dir" value="slides" />
<property name="java.dir" value="java" />
<property name="classes.dir" value="classes" />
<property name="javadoc.dir" value="javadoc" />
<property name="jar.dir" value="jar" />
<property name="output.dir" value="output" />
<property name="output.java.dir" value="${output.dir}/java" />
<property name="output.classes.dir" value="${output.dir}/classes" />
<property name="output.javadoc.dir" value="${output.dir}/javadoc" />
<property environment="env" />
<fail unless="env.JAVA_HOME" message="The environment variable JAVA_HOME has not been set." />
<fail unless="env.NOTES_HOME" message="The environment variable NOTES_HOME has not been set." />
<path id="classpath">
<pathelement location="${env.JAVA_HOME}/jre/lib/rt.jar" />
<pathelement location="${env.JAVA_HOME}/lib/tools.jar" />
<pathelement location="${env.NOTES_HOME}/jvm/lib/ext/Notes.jar" />
<pathelement location="${env.NOTES_HOME}/jvm/lib/xml.jar" />
</path>
<property name="classpath" refid="classpath" />
<target name="prepare" description="Creates build directories.">
<mkdir dir="${classes.dir}" />
<mkdir dir="${javadoc.dir}" />
<mkdir dir="${jar.dir}" />
<mkdir dir="${slides.dir}/html" />
<mkdir dir="${output.classes.dir}" />
<mkdir dir="${output.java.dir}/lotus/domino" />
<mkdir dir="${output.javadoc.dir}/lotus/domino" />
</target>
<target name="clean" description="Cleans build directory.">
<delete dir="${classes.dir}" />
<delete dir="${javadoc.dir}" />
</target>
<target name="distclean" depends="clean" description="Cleans built target.">
<delete dir="${jar.dir}" />
<delete dir="${slides.dir}/html" />
<delete dir="${output.dir}" />
<delete file="Notes7-pseudo-classes.jar" />
<delete file="Notes7-pseudo-sources.zip" />
<delete file="Notes7-pseudo-javadoc.zip" />
</target>
</project>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -