OCaml Forge

Detail: [#981] 'ocaml setup.ml -reinstall' should not remove '/usr/local/share/doc'

Bugs: Browse | Download .csv | Monitor

[#981] 'ocaml setup.ml -reinstall' should not remove '/usr/local/share/doc'

Date:
2011-05-28 12:34
Priority:
3
State:
Open
Submitted by:
Christophe Troestler (chris)
Assigned to:
Sylvain Le Gall (gildor-admin)
Product:
OASIS
Due in version:
None
Resolution:
None
Severity:
major
Version:
0.2.0
Component:
OASIS
Operating System:
All
 
URL:
Summary:
'ocaml setup.ml -reinstall' should not remove '/usr/local/share/doc'

Detailed description
When running 'ocaml setup.ml -reinstall', oasis tries to 'rm -r '/usr/local/share/doc''. I believe this is wrong as this directory will also contain the documentation of other packages. It should only remove the dir usr/local/share/doc/<package>.

My _oasis setting is the usual one;
InstallDir: $docdir/api

Followup

No Followups Have Been Posted

Attached Files:

Changes:

Field Old Value Date By
assigned_tonone2012-03-12 22:14gildor-admin