dune_install(petscdiscretefunction.hh)
