2
## ----------------------- ##
3
## Running config.status. ##
4
## ----------------------- ##
6
This file was extended by config.status 2.52, executed with
14
config.status:6700: creating Makefile
15
config.status:6700: creating doc/Makefile
16
config.status:6731: error: cannot find input file: doc/Makefile.in