[petsc-dev] "make install" installs HTML files in $PREFIX/include

[Lisandro Dalcin]

On 7 June 2016 at 20:02, Barry Smith <bsmith at mcs.anl.gov> wrote:
>>> rm -f  $PREFIX/lib/$PKG_NAME/conf/files
>
>    Are you referring to files such as pkg.conf.*  or pkg.gitcommit.* ?  What specific files do you not like

Sorry, $PKG_NAME is either petsc or slepc.

So, the files I do not like are:

$PREFIX/lib/petsc/conf/files
$PREFIX/lib/petsc/conf/PETScBuildInternal.cmake

and the ones I'm not sure about are:

$PREFIX/lib/petsc/conf/*.log
$PREFIX/lib/petsc/conf/RDict.db

-- 
Lisandro Dalcin
============
Research Scientist
Computer, Electrical and Mathematical Sciences & Engineering (CEMSE)
Extreme Computing Research Center (ECRC)
King Abdullah University of Science and Technology (KAUST)
http://ecrc.kaust.edu.sa/

4700 King Abdullah University of Science and Technology
al-Khawarizmi Bldg (Bldg 1), Office # 0109
Thuwal 23955-6900, Kingdom of Saudi Arabia
http://www.kaust.edu.sa

Office Phone: +966 12 808-0459