[ jEdit-devel ] [ jedit-Feature Requests-3496032 ] auto-add <releaseinfo> to docs from build-support

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

Feature Requests item #3496032, was opened at 2012-03-01 09:03
Message generated for change (Comment added) made by jarekczek
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=3496032&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: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Alan Ezust (ezust)
Assigned to: Nobody/Anonymous (nobody)
Summary: auto-add <releaseinfo> to docs from build-support

Initial Comment:
The build-support doc build scripts should automatically add a <releaseinfo> element to the docbook doc (or something at a further stage in the transformation process)  with the correct version number, so it does not need to be changed in 2 places in each plugin, and the docs will always match the properties in the plugin itself.


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

>Comment By: Jarek Czekalski (jarekczek)
Date: 2012-03-01 09:58

Message:
Alan, could you pull out the release info into a separate file, for example
release-info.xml? If the file is simple, it can be regenerated with each
build. Until the automat is done, the file's content will be updated
manually.

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

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