> It is true that case is "preserved" (not significant) on Windows. > However, that is no reason why we should not generate file/target names > using uppercase letters. I think we should, just because it's closer to > the actual name of the code.
For target, yes, but for filename it doesn't seems right to me. Indeed, imagine in a document there is 2 nodes differing only by case, say @node there and @node There If we are on windows, both will be in there.html. If we are on unix, one will be in There.html, the other in there.html. What to choose for the software doing the ref ? My idea was to use there.html as file name and distinguish with the target. Thus there -> there.html#there There -> there.html#There It doesn't matter, however (as far as cross manual references are concenrned) if we use only index.html as file name. In that case, as case is significant in targets, we don't have any problem. > > @today today > > Let's just disallow @today in node names. It doesn't make sense either way. You're right. Pat _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
