Re: Documentation Style Sheet: Update

[Jean-Marc Lasgouttes]

>>>>> "John" == John Weiss <[EMAIL PROTECTED]> writes:

John> --EVF5PPMfhYS0aIcm Content-Type: text/plain; charset=us-ascii

John> I've just modified the Style Sheet to take the new
John> menu-separator into account.  For v1.0.2, the new Style Sheet
John> applies to all docs.  That means that the old "->" character
John> sequence shall be replaced with the menu separator for v1.0.2
John> [or v1.0.3, which would be a doc-update only].

I added that to the lyxdoc repository.

JMarc