- /* Print the source directory and the subdirectory of the file
- in question. */
- printf ("%s %s/", pz_src_dir, pz_file_name);
- pz_dir_end = pz_incl_quot;
-
- /* Append to the directory the relative path of the desired file */
- while (*pz_incl_quot != '"')
- putc (*pz_incl_quot++, stdout);
-
- /* Now print the destination directory appended with the
- relative path of the desired file */
- printf (" %s/%s/", pz_dest_dir, pz_file_name);
- while (*pz_dir_end != '"')
- putc (*pz_dir_end++, stdout);
-
- /* End of entry */
- putc ('\n', stdout);
+ if (quoted_file_exists (pz_src_dir, pz_file_name, pz_incl_quot))
+ {
+ /* Print the source directory and the subdirectory
+ of the file in question. */
+ printf ("%s %s/", pz_src_dir, pz_file_name);
+ pz_dir_end = pz_incl_quot;
+
+ /* Append to the directory the relative path of the desired file */
+ while (*pz_incl_quot != '"')
+ putc (*pz_incl_quot++, stdout);
+
+ /* Now print the destination directory appended with the
+ relative path of the desired file */
+ printf (" %s/%s/", pz_dest_dir, pz_file_name);
+ while (*pz_dir_end != '"')
+ putc (*pz_dir_end++, stdout);
+
+ /* End of entry */
+ putc ('\n', stdout);
+ }