diff options
| -rw-r--r-- | docs/future/index.html | 2 | ||||
| -rw-r--r-- | docs/index.html | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/docs/future/index.html b/docs/future/index.html index 90798a08..1ee683e5 100644 --- a/docs/future/index.html +++ b/docs/future/index.html @@ -23,7 +23,7 @@ These are development notes, for future use. For old (obselete) notes, see <a href="old.html">old.html</a>. </p> <p> - Or go <a href="../index.html">back to main document index</a>. + Or go <a href="../tasks.html">back to main task list</a>. </p> </div> diff --git a/docs/index.html b/docs/index.html index 4ceb5c31..04b37e4c 100644 --- a/docs/index.html +++ b/docs/index.html @@ -40,7 +40,6 @@ <li><a href="security/index.html">Hardware security</a></li> <li><a href="hardware/index.html">Hardware maintenance</a></li> <li><a href="grub/index.html">GRUB payload</a></li> - <li><a href="future/index.html">Planned work</a></li> <li><a href="misc/index.html">Miscellaneous</a></li> </ul> |