Closed shimizukawa closed 6 months ago
for #16
It would be nice to scriptize this, otherwise further doc removal might require more manual action.
I think #38 already fix the problem. So I close this PR.
for #16