--- a/doc/Mmakefile
+++ b/doc/Mmakefile
@@ -27,6 +27,8 @@
 
 mprof.1: ../profiler/mercury_profile.m ../profiler/options.m
 
+mprof.1: ../profiler/options.m
+
 # This variable specifies the (top-level) TexInfo files.
 # The mapping of these names to `.info' file names is not regular,
 # so we also need to specify the names of the `.info' files.
