+
+# Call gcc to output a rule suitable for make describing the dependencies of
+# the given input file and parse the output to add a *.d target with the same
+# dependencies.
+
+# The first three arguments to that script are special: $1 is the
+# dependency directory and $2 is the object directory. These are used
+# to prefix the .d and .o targets respectively. $3 is the directory
+# that contains the *.cmdline.h files generated by gengetopt.
+
+# As gcc outputs the dependencies on the *.cmdline.h files either as
+# foo.cmdline.h or as $cmdline_dir/foo.cmdline.h, depending on whether the
+# latter file exists, we prefix the former with $2/
+
+dep_dir="$1"
+object_dir="$2"
+cmdline_dir="$3"