Samuel Thibault e0f117f5c6 Rework the way to pass parameters to ./mic-configure: parse them once for all, to pick up the already-existing prefix and coi-dir, add mic-host, and assume the user has the cross-compilation tools in PATH, which he already has to do anyway. лет назад: 12
..
chapters e0f117f5c6 Rework the way to pass parameters to ./mic-configure: parse them once for all, to pick up the already-existing prefix and coi-dir, add mic-host, and assume the user has the cross-compilation tools in PATH, which he already has to do anyway. лет назад: 12
Makefile.am 262b26c891 doc/doxygen: properly clean files лет назад: 12
doxygen-config.cfg.in 69b0e31034 doc/doxygen: add version and timestamp in html лет назад: 12
doxygen.cfg f0de9e2164 doc/doxygen: backport updates from branch mic-scc-merge лет назад: 12
doxygen_filter.sh.in 88287acf7f doc/doxygen: fix file name лет назад: 12
foreword.html 69b0e31034 doc/doxygen: add version and timestamp in html лет назад: 12
refman.tex d795c16520 doc/doxygen/refman.tex: capitalize title лет назад: 12