Hello Jim, In node `Footnotes in section headings', you write that the option `sharp' is needed, but the example uses option `stable'.
Which one is correct ? Vincent
Hello Jim, In node `Footnotes in section headings', you write that the option `sharp' is needed, but the example uses option `stable'.
Which one is correct ? Vincent