John MacFarlane da82107116 Change adding of .yaml extension in --defaults option. ...

Previously it was always added if the specified filename
lacked an extension. Now it is only added if there is
no file with the original name.  So, these are tried in
order: `FILE`, `FILE.yaml`, `DATADIR/defaults/FILE`,
`DATADIR/defaults/FILE.yaml`.

This facilitates using `--defaults` with bash/zsh `<(..)` or
`=(..)`.

Closes #11717.

2026-06-18 23:27:17 +03:00

..

Pandoc

Change adding of .yaml extension in --defaults option.

2026-06-18 23:27:17 +03:00

Pandoc.hs

…