[restored issue] - 'make doc' failure
I don't succeed in building the documentation:
pruvost@hpflorent:~/git/pampa-p/build$ cmake .. -DPAMPA_BUILD_DOC=ON
pruvost@hpflorent:~/git/pampa-p/build$ make doc
[ 3%] Built target dummysizes
[ 96%] Built target pampa
Scanning dependencies of target userdoc
[100%] Generating pampa_user.h
cat: '/home/pruvost/git/pampa-p/doc/user_pages/*.c': Aucun fichier ou dossier de ce type
doc/CMakeFiles/userdoc.dir/build.make:64 : la recette pour la cible « doc/pampa_user.h » a échouée
make[3]: *** [doc/pampa_user.h] Erreur 1
make[3]: *** Suppression du fichier « doc/pampa_user.h »
CMakeFiles/Makefile2:5658 : la recette pour la cible « doc/CMakeFiles/userdoc.dir/all » a échouée
make[2]: *** [doc/CMakeFiles/userdoc.dir/all] Erreur 2
CMakeFiles/Makefile2:5601 : la recette pour la cible « doc/CMakeFiles/doc.dir/rule » a échouée
make[1]: *** [doc/CMakeFiles/doc.dir/rule] Erreur 2
Makefile:1826 : la recette pour la cible « doc » a échouée
make: *** [doc] Erreur 2
Warning: this issue has been restored from backup and can have been changed. For example, all comments have been lost.