[ jEdit-devel ] [ jedit-Bugs-3106700 ] build.xml with doc

[SourceForge.net <no...@so...>]

Bugs item #3106700, was opened at 2010-11-10 07:04
Message generated for change (Settings changed) made by ezust
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3106700&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
>Status: Deleted
>Resolution: Invalid
Priority: 5
Private: No
Submitted By: hwsknudsen (hwsknudsen)
Assigned to: Nobody/Anonymous (nobody)
Summary: build.xml with doc

Initial Comment:
When ANT is run on 4.5 pre 1(svn 	18947) the resulting build does not include user documentation and therefore the "Help" and "Tips" sections are broken. 
I have created a patch file to include this into the build.xml file. A summary of the changes is shown below:

i have also attached a diff file 
 

<property name="doc.dir"
			  location="${build.dir}/doc" />

<copy todir="${doc.dir}">
			<fileset dir="doc"/>
		</copy>

----------------------------------------------------------------------

>Comment By: Alan Ezust (ezust)
Date: 2010-12-08 08:12

Message:
This patch does not cause any build step to happen, it just copies files
from the "doc" directory to another location... 
but that's not even the correct location to find built documentation. So
this "patch" is rejected.

"ant docs-html" is the separate target you can use to build docs. Do this
before "ant jar" and you get a fully working jEdit.


----------------------------------------------------------------------

Comment By: Damien (kog13)
Date: 2010-11-15 07:33

Message:
Isn't there a separate target for building documentation? I know there is
for plugins, at least.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3106700&group_id=588