⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 common.xml

📁 a a a a a a a a a a a a a a a a a a a a a a
💻 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 + -