Those commands are quite bad. If the user decide to customize its _tags and myocamlbuild later. If you want to clean the oasis part exclusively, oasis setup-clean -replace-sections Empty -remove Empty is what you are looking for.
But again, why do that to begin with ? With the normal setup, those files are part of the distribution, you shouldn't remove them and with the dynamic setup ... those files are not even there to begin with.
Same remarks for the .gitignore.
Finally, if you want to add a custom make command, you should do it like that. Oasis will put its stuff between the two lines.
Those commands are quite bad. If the user decide to customize its _tags and myocamlbuild later. If you want to clean the oasis part exclusively,
oasis setup-clean -replace-sections Empty -remove Emptyis what you are looking for.But again, why do that to begin with ? With the normal setup, those files are part of the distribution, you shouldn't remove them and with the dynamic setup ... those files are not even there to begin with.
Same remarks for the
.gitignore.Finally, if you want to add a custom make command, you should do it like that. Oasis will put its stuff between the two lines.