lokydor__ has joined #ocaml
lokydor_1 has joined #ocaml
thrasibule_ has joined #ocaml
lokydor_ has quit [Read error: 60 (Operation timed out)]
thrasibule has quit [Read error: 104 (Connection reset by peer)]
tmaedaZ0 has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
lokydor has quit [Read error: 110 (Connection timed out)]
tmaedaZ has quit [Read error: 110 (Connection timed out)]
thrasibule_ has quit [Read error: 60 (Operation timed out)]
thrasibule has joined #ocaml
_zack has quit ["Leaving."]
djanderson has joined #ocaml
tmaedaZ0 is now known as tmaedaZ
lokydor_1 has quit [Read error: 110 (Connection timed out)]
lokydor__ has quit [Read error: 110 (Connection timed out)]
tmaedaZ is now known as tmaedaZ0
joewilliams_away is now known as joewilliams
CcSsNET has joined #ocaml
CcSsNET has quit [Remote closed the connection]
pimmhogeling has quit [Read error: 110 (Connection timed out)]
thomaslee has joined #ocaml
joewilliams is now known as joewilliams_away
Alpounet has quit [Read error: 104 (Connection reset by peer)]
tmaedaZ0 is now known as tmaedaZ
tmaedaZ is now known as tmaedaZ0
boscop has quit ["Gxis revido!"]
Alpounet has joined #ocaml
tmaedaZ0 is now known as tmaedaZ
maskd has quit [Remote closed the connection]
tensorpudding has quit [Remote closed the connection]
tensorpudding has joined #ocaml
thomaslee has quit [kubrick.freenode.net irc.freenode.net]
djanderson has quit [kubrick.freenode.net irc.freenode.net]
yakischloba has quit [kubrick.freenode.net irc.freenode.net]
Asmadeus has quit [kubrick.freenode.net irc.freenode.net]
willb has quit [kubrick.freenode.net irc.freenode.net]
smimram has quit [kubrick.freenode.net irc.freenode.net]
WuJiang has quit [kubrick.freenode.net irc.freenode.net]
__marius__ has quit [kubrick.freenode.net irc.freenode.net]
mrvn has quit [kubrick.freenode.net irc.freenode.net]
zhijie has quit [kubrick.freenode.net irc.freenode.net]
WuJiang has joined #ocaml
Asmadeus has joined #ocaml
mrvn has joined #ocaml
__marius__ has joined #ocaml
jeddhaberstro has quit [Client Quit]
thomaslee has joined #ocaml
djanderson has joined #ocaml
yakischloba has joined #ocaml
zhijie has joined #ocaml
smimram has joined #ocaml
willb has joined #ocaml
Modius has joined #ocaml
_unK has quit [Remote closed the connection]
zhijie has quit ["Leaving."]
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
djanderson has quit []
Snark has joined #ocaml
thrasibule has quit [Read error: 60 (Operation timed out)]
td123 has joined #ocaml
<
td123>
btw, error is in the pastebing, along with the code
<
td123>
.. nvm, got it
td123 has left #ocaml []
yakischloba has quit ["Leaving."]
pimmhogeling has joined #ocaml
ikaros has joined #ocaml
derdon has joined #ocaml
ttamttam has joined #ocaml
_zack has joined #ocaml
demitar has joined #ocaml
ulfdoz has quit [Read error: 104 (Connection reset by peer)]
ulfdoz has joined #ocaml
tmaedaZ is now known as tmaedaZ0
<
flux>
funny, I don't even find a bug for that missing feature, doesn't it exist?-o
Yoric has joined #ocaml
maskd has joined #ocaml
demitar has quit ["Ex-Chat"]
tmaedaZ0 has quit [Read error: 104 (Connection reset by peer)]
tmaedaZ has joined #ocaml
ttamttam1 has joined #ocaml
ofaurax_ has joined #ocaml
ttamttam has quit [Read error: 110 (Connection timed out)]
_Jedai_ has joined #ocaml
boscop has joined #ocaml
|Jedai| has quit [Read error: 110 (Connection timed out)]
_unK has joined #ocaml
derdon has joined #ocaml
tmaedaZ is now known as tmaeda
ulfdoz_ has joined #ocaml
ofaurax_ has quit [Client Quit]
ulfdoz has quit [Read error: 110 (Connection timed out)]
pimmhogeling has quit ["Ik ga weg"]
pimmhogeling has joined #ocaml
ulfdoz_ has quit [Client Quit]
ulfdoz has joined #ocaml
tensorpudding has quit [Read error: 104 (Connection reset by peer)]
tensorpu` has joined #ocaml
Associat0r has joined #ocaml
tensorpu` has quit [Client Quit]
tensorpudding has joined #ocaml
_zack has quit ["Leaving."]
kloeri__ has quit [Read error: 54 (Connection reset by peer)]
kloeri_ has joined #ocaml
<
flux>
thelema, soo, where does batteries install docs with omake install-doc? are there manual pages?
djanderson has joined #ocaml
<
mfp>
flux: DOCROOT = /usr/share/doc/ocaml-batteries/
<
mfp>
maybe /usr/local would be better though
<
flux>
indeed, I was looking at /usr/local
<
flux>
also, all the docs seem to be +x for some reason :)
<
flux>
(and manual pages would be neat)
<
flux>
maybe they can already be built
<
mfp>
take a look at the OMakefile, it's quite short
<
mfp>
I can't see any reason why they'd be +x
<
flux>
my guess: it uses install(1) for installing them
<
flux>
which it indede does
<
flux>
install gives +x by default
<
mfp>
sure they can, just need to use ocamlfind -man & add a line to the install-doc target
<
mfp>
yes, $(INSTALL) is install on unix, cp on win32
<
flux>
that complicates the fix
pimmhogeling has quit [Read error: 104 (Connection reset by peer)]
ikaros_ has joined #ocaml
pimmhogeling has joined #ocaml
ikaros_ has quit ["Leave the magic to Houdini"]
ikaros has quit [No route to host]
Associat0r has quit []
pimmhogeling has quit [Read error: 110 (Connection timed out)]
palomer_ has left #ocaml []
palomer has joined #ocaml
<
palomer>
why is #ocaml +nR?
<
[df]>
because of the recent rash of spambots I expect
<
derdon>
why didn't I notice them?
<
derdon>
it is said that they've been in #python.de as well, that's why one must be registered now, too
<
derdon>
*registered there
tmaeda is now known as tmaedaZ
_unK has quit [Remote closed the connection]
joewilliams_away is now known as joewilliams
pimmhogeling has joined #ocaml
Drk-Sd has joined #ocaml
jeddhaberstro has joined #ocaml
ikaros has joined #ocaml
djanderson has quit []
Snark has quit ["Ex-Chat"]
yakischloba has joined #ocaml
joewilliams is now known as joewilliams_away
avsm has joined #ocaml
joewilliams_away is now known as joewilliams
avsm has quit [Client Quit]
djanderson has joined #ocaml
joewilliams is now known as joewilliams_away
lokydor has joined #ocaml
ikaros_ has joined #ocaml
Alpounet has quit [Read error: 113 (No route to host)]
ikaros_ has quit ["Leave the magic to Houdini"]
Alpounet has joined #ocaml
Pimm has joined #ocaml
pimmhogeling has quit [Read error: 110 (Connection timed out)]
ulfdoz_ has joined #ocaml
kloeri_ has quit [Read error: 54 (Connection reset by peer)]
kloeri_ has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
thrasibule has joined #ocaml
ttamttam1 has quit [Client Quit]
ulfdoz_ has quit [Client Quit]
Pimm has quit [Client Quit]
pimmhogeling has joined #ocaml
joewilliams_away is now known as joewilliams
djanderson has quit []
Alpounet has quit [Read error: 113 (No route to host)]
avsm has joined #ocaml
_unK has joined #ocaml
joewilliams is now known as joewilliams_away
tmaedaZ is now known as tmaeda
Alpounet has joined #ocaml
djanderson has joined #ocaml
boscop has quit ["Gxis revido!"]
lokydor has quit [Read error: 110 (Connection timed out)]
joewilliams_away is now known as joewilliams
avsm has quit [Client Quit]
jeddhaberstro has quit [Client Quit]
maskd- has joined #ocaml
maskd has quit [Read error: 60 (Operation timed out)]