PR#5310: Ratio.create_ratio/create_normalized_ratio have misleading names
git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@12302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
ea22ff004c
commit
3c752963ce
|
@ -21,6 +21,7 @@ MLIS=$(SRC2)/stdlib/*.mli \
|
|||
$(SRC2)/otherlibs/num/num.mli \
|
||||
$(SRC2)/otherlibs/num/arith_status.mli \
|
||||
$(SRC2)/otherlibs/num/big_int.mli \
|
||||
$(SRC2)/otherlibs/num/ratio.mli \
|
||||
$(SRC2)/otherlibs/str/*.mli \
|
||||
$(SRC2)/otherlibs/systhreads/*.mli \
|
||||
$(SRC2)/otherlibs/unix/*.mli \
|
||||
|
|
Loading…
Reference in New Issue