ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From bode...@apache.org
Subject cvs commit: ant/docs/manual/CoreTypes selectors.html
Date Thu, 25 Sep 2003 13:54:28 GMT
bodewig     2003/09/25 06:54:28

  Modified:    docs/manual/CoreTypes selectors.html
  Log:
  Note case-sensitivity of selectors, PR 16685
  
  Revision  Changes    Path
  1.16      +7 -0      ant/docs/manual/CoreTypes/selectors.html
  
  Index: selectors.html
  ===================================================================
  RCS file: /home/cvs/ant/docs/manual/CoreTypes/selectors.html,v
  retrieving revision 1.15
  retrieving revision 1.16
  diff -u -r1.15 -r1.16
  --- selectors.html	13 Sep 2003 16:35:52 -0000	1.15
  +++ selectors.html	25 Sep 2003 13:54:28 -0000	1.16
  @@ -186,6 +186,8 @@
       <code>&lt;mapper&gt;</code> element is specified, the
       <code>identity</code> type mapper is used.</p>
   
  +    <p>The <code>&lt;depend&gt;</code> selector is case-sensitive.</p>
  +
       <table border="1" cellpadding="2" cellspacing="0">
         <tr>
           <td valign="top"><b>Attribute</b></td>
  @@ -354,6 +356,9 @@
       <a href="#selectcontainers">selector container</a> is desired.
       </p>
   
  +    <p>The <code>&lt;filename&gt;</code> selector is
  +    case-sensitive.</p>
  +
       <table border="1" cellpadding="2" cellspacing="0">
         <tr>
           <td valign="top"><b>Attribute</b></td>
  @@ -406,6 +411,8 @@
       to define the location of the file to be tested against. If no
       <code>&lt;mapper&gt;</code> element is specified, the
       <code>identity</code> type mapper is used.</p>
  +
  +    <p>The <code>&lt;present&gt;</code> selector is case-sensitive.</p>
   
       <table border="1" cellpadding="2" cellspacing="0">
         <tr>
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@ant.apache.org
For additional commands, e-mail: dev-help@ant.apache.org


Mime
View raw message