You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by bu...@apache.org on 2014/03/14 21:04:16 UTC

[Bug 56266] New: Property location incorrect in build instructions

https://issues.apache.org/bugzilla/show_bug.cgi?id=56266

            Bug ID: 56266
           Summary: Property location incorrect in build instructions
           Product: Tomcat 7
           Version: 7.0.52
          Hardware: PC
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Documentation
          Assignee: dev@tomcat.apache.org
          Reporter: ljtyson@gmail.com

BUILDING.txt states that the property 'tomcat.output' is in the
build.properties file.
It isn't; tomcat.output is in build.xml

-- 
You are receiving this mail because:
You are the assignee for the bug.

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


[Bug 56266] Property location incorrect in build instructions

Posted by bu...@apache.org.
https://issues.apache.org/bugzilla/show_bug.cgi?id=56266

Konstantin Kolinko <kn...@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |INVALID
                 OS|                            |All

--- Comment #1 from Konstantin Kolinko <kn...@gmail.com> ---
Of course it is not there, you have to create the build.properties file by
yourselves. The instruction is correct.

[quote]
(3.2) Building

 1. The build is controlled by creating a ${tomcat.source}/build.properties
    file.
[/quote]

For reference:
http://ant.apache.org/manual/Tasks/property.html

-- 
You are receiving this mail because:
You are the assignee for the bug.

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