diff --git a/doc/SUMMARY.md b/doc/SUMMARY.md index 6acf7db6e5..e7fac63b11 100644 --- a/doc/SUMMARY.md +++ b/doc/SUMMARY.md @@ -47,7 +47,6 @@ - [Thunk](./thunk.md) - [Task and Thread](./task.md) - [Functions](./functions.md) -- [Tactics](./tactics.md) # Other