From 98b18c8ed2b8af03b19db45f7ec346c17f1fedb9 Mon Sep 17 00:00:00 2001
From: Jonas Fonseca <fonseca@diku.dk>
Date: Sat, 12 Jun 2010 11:29:32 -0400
Subject: [PATCH] Fix missing ID reference

... the original ID was removed in commit
b00784cc39b2d7b6069d382a2405fb3e117386d1.
---
 manual.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/manual.txt b/manual.txt
index be32a3e..f6a13d5 100644
--- a/manual.txt
+++ b/manual.txt
@@ -420,8 +420,8 @@ information. Relevant man pages besides git-log(1) are git-diff(1) and
 git-rev-list(1).
 
 You can tune the interaction with git by making use of the options explained
-in this section. For example, by configuring the environment variables
-described in the section on <<history-commands, history commands>>.
+in this section. For example, by configuring the environment variable
+described in the section on <<diff-options, diff options>>.
 
 [[path-limiting]]
 Limit by Path Name
-- 
2.30.2