77d0a53b3350f3be4d18d2e53dd6b450d4662d5c
[makefiles.git] / cmd
1 cd ../../sample/makeindex && make -s distclean >/dev/null && make -s all