* [devel] Ocaml documentation packages
@ 2013-06-19 18:15 Bergman Andrey
0 siblings, 0 replies; only message in thread
From: Bergman Andrey @ 2013-06-19 18:15 UTC (permalink / raw)
To: ALT Linux Team development discussions
Здравствуйте!
Возник вопрос по документации к OCaml'у.
Ocaml - это одновременно и название языка, и набор компиляторов. Соответственно, документаций тоже две:
а) Reference manual - справочник по языку. O'Relly book - учебник OCaml, как языка.
б) Документация компиляторов и других программ - man pages.
В связи с этим, у меня возникли вопросы:
1) Нужно ли эти две сущности смешивать в одном пакете OCaml?
В upstream они разнесены:
В каталоге http://caml.inria.fr/pub/distrib/ocaml-4.00/ находятся по-отдельности компиляторы http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.1.tar.bz2 и документация по языку http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00-refman.pdf
2) Можно ли выделить man страницы по компиляторам в ocaml-doc, а Reference Manual в ocaml-refman? Тогда перестанет ругаться repocop на чересчур жирный /usr/share, у пакета ocaml.
И сама сборка пакета слегка упростится - он станет чуточку тоньше.
Или этого по какой-то причине не стоит делать?
Заранее спасибо,
Андрей.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-06-19 18:15 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-06-19 18:15 [devel] Ocaml documentation packages Bergman Andrey
ALT Linux Team development discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
public-inbox-index devel
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.devel
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git