From: Bergman Andrey <vkni@yandex.ru>
To: ALT Linux Team development discussions <devel@lists.altlinux.org>
Subject: [devel] Ocaml documentation packages
Date: Wed, 19 Jun 2013 22:15:50 +0400
Message-ID: <588381371665750@web17e.yandex.ru> (raw)
Здравствуйте!
Возник вопрос по документации к 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.
И сама сборка пакета слегка упростится - он станет чуточку тоньше.
Или этого по какой-то причине не стоит делать?
Заранее спасибо,
Андрей.
reply other threads:[~2013-06-19 18:15 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=588381371665750@web17e.yandex.ru \
--to=vkni@yandex.ru \
--cc=devel@lists.altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
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