fixxref: restore the %s for the output file.
commit023792b001890a1eb7e71c16029acf7b63c7b285
authorStefan Sauer <ensonic@users.sf.net>
Mon, 18 Dec 2017 15:00:51 +0000 (18 16:00 +0100)
committerStefan Sauer <ensonic@users.sf.net>
Mon, 18 Dec 2017 15:00:51 +0000 (18 16:00 +0100)
tree64b7a0c69cf9fb05434b2198644f2d04bd1eb40f
parent2e2920d61ca9da406e0ccf4cf9d29788004b5ab0
fixxref: restore the %s for the output file.

Apparently this is not as widely used, since no one noticed this for a bit.
See https://bugzilla.gnome.org/show_bug.cgi?id=787495
gtkdoc/fixxref.py