Bob Hanson wrote:
I was wondering if that was possible. That would certainly work for me.
But thinking forward, to others, what do you think is the best way of
describing this and making it simpler? My first idea was to change
build.xml to remove the -HEAD, because that would be consistent with
my changes to the developer documentation, which people seem to be
reasonably happy with (check out Jmol as Jmol, not check out Jmol as
Jmol-HEAD). Then I thought, wait, I'm not sure I should change
something that is already set, so I'll just make another build.xml
version and call it buld-jar-not-jar-head.xml.
In reality, how many people use this Jmol-web/build.xml? Are we
talking about 2 people? 3? 10?
What if we were to just remove the -HEAD from build.xml and leave it
to people who checked out Jmol into some other name to change their
procedure to include it? That particular build.xml is not documented,
as far as I can see, so I'm guessing only a couple of people care. Who
are we?
I think we are not many:
- me because I frequently update the website (due to the FoldingAtHome
web page)
- Miguel and Egon probably
- a few others, but if they don't make the change on their side, they
won't loose much: only the guides won't be in their local build of the
website.
Nico
-------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc. Do you grep through log files
for problems? Stop! Download the new AJAX search engine that makes
searching your log files as easy as surfing the web. DOWNLOAD SPLUNK!
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=103432&bid=230486&dat=121642
_______________________________________________
Jmol-developers mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jmol-developers
