make -C doc
########################################################################
# Supplementary files autogeneration
########################################################################
make -C doc
########################################################################
# Supplementary files autogeneration
########################################################################