Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 774243
Collapse All | Expand All

(-)a/dev-ml/dune/dune-2.8.2.ebuild (-3 / +2 lines)
Lines 42-47 src_compile() { Link Here
42 

          42
          

        

        

          43
          
src_install() {

          43
          
src_install() {

        

        

          44
          
	default

          44
          
	default

        

          
            

              45
              
	mv "${ED}"/usr/doc "${ED}"/usr/share/doc/${PF} || die


              45
              
	mv "${ED}"/doc "${ED}"/usr/share/doc/${PF} || die

            

            

              46
              
	mv "${ED}"/usr/man "${ED}"/usr/share/man || die


              46
              
	mv "${ED}"/man "${ED}"/usr/share/man || die

            

        

          47
          
}

          47
          
}

        

            

              48
              
- 

              
              
            






  

  Return to bug 774243