org.texi: Introduce `org-latex-prefer-user-labels'
commit1841892321b87ce4873de50dfe339d5b5d8d942c
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Sun, 19 Apr 2015 13:46:24 +0000 (19 15:46 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Sun, 19 Apr 2015 13:46:24 +0000 (19 15:46 +0200)
tree0b251b3b26cebc87ba5235f85b250596e5a88ab2
parent3d4a153105ee7d6786370ebafd3a5f2e2864dc5e
org.texi: Introduce `org-latex-prefer-user-labels'

* doc/org.texi (Publishing options): Introduce
  `org-latex-prefer-user-labels'.
doc/org.texi