From ae19de1c2dcc160495fcffb198f9266cd52a36a5 Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Tue, 8 Jun 2021 19:54:22 +0100
Subject: Tools doc placeholder

---
 docs/header.html | 1 +
 1 file changed, 1 insertion(+)

(limited to 'docs/header.html')

diff --git a/docs/header.html b/docs/header.html
index fbc15df..20027fd 100644
--- a/docs/header.html
+++ b/docs/header.html
@@ -4,4 +4,5 @@
     <a href="spman-lib-ref.html">spman.lib reference</a>
     <a href="mplayer-lib-ref.html">mplayer.lib reference</a>
     <a href="extra-lib-ref.html">extra libs reference</a>
+    <a href="tools-ref.html">tools reference</a>
 </nav>
-- 
cgit v1.2.3