Menu
▾
▴
[ jEdit-devel ] [ jedit-Feature Requests-3496032 ] auto-add release info to users-guide.xsl from properties
|
From: SourceForge.net <no...@so...> - 2012-03-01 18:13:13
|
Feature Requests item #3496032, was opened at 2012-03-01 09:03 Message generated for change (Settings changed) made by ezust 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 release info to users-guide.xsl from properties 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: Alan Ezust (ezust) Date: 2012-03-01 10:12 Message: Actually, it can be done in users-guide.xsl without any modification to the original document, with the right xsl/ant knowledge. ---------------------------------------------------------------------- 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 |