server/keymgmt.c: Track and find keys by their 32-bit IDs.

[tripe] / server / tripe-service.7.in

diff --git a/server/tripe-service.7.in b/server/tripe-service.7.in
index dfc87cc74a9e09dba6e899e251b0ebec847e7810..4fe770ff420310fa95446f8486ce90ce062f50ae 100644 (file)
--- a/server/tripe-service.7.in
+++ b/server/tripe-service.7.in
@@ -23,7 +23,7 @@
 .\" along with TrIPE.  If not, see <https://www.gnu.org/licenses/>.
 .
 .\"--------------------------------------------------------------------------
-.so ../defs.man.in \"@@@PRE@@@
+.so ../common/defs.man \"@@@PRE@@@
 .
 .\"--------------------------------------------------------------------------
 .TH tripe-service 7tripe "8 January 2007" "Straylight/Edgeware" "TrIPE: Trivial IP Encryption"