ALT Linux Team development discussions
 help / color / mirror / Atom feed
* [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