Fix missing ID reference

... the original ID was removed in commit
b00784cc39b2d7b6069d382a2405fb3e117386d1.

diff --git a/manual.txt b/manual.txt
index be32a3ef61e508710293cdc11733a2473b5719d6..f6a13d5d56a520eb0b4c3487551037b4b41e456a 100644 (file)
--- 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