This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
sed -e 's/_002d/-/g' -e 's/_002a/*/g'I don't see this in CVS yet.
to a strategic place to the wwwdocs/bin/preprocess script on gcc.gnu.org.
I just added it locally, because it is so ugly. If I haven't heard back from the makeinfo folks by next week, I'll commit it.
Joseph, do you want to do something similar for /onlinedocs? The URLs generated by makeinfo 4.7 are simply gross (and currently external links and bookmarks into /onlinedocs are broken).If makeinfo isn't going to change back then I think we simply need to update all links pointing from our pages into the onlinedocs for mainline. The stability of URLs for mainline docs is never guaranteed, as manual sections may be renamed freely.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |