[doc] Use pandoc's new option `--default-image-extension'.
treed2fde0b041b1dda2e7532e3f43cafcfd76329ddd
-rw-r--r-- 179 .gitignore
-rw-r--r-- 76 .gitmodules
m--------- - .gnulib
-rw-r--r-- 60 AUTHORS
-rw-r--r-- 2758 COPYING
-rw-r--r-- 361 ChangeLog
-rw-r--r-- 6741 FTL.TXT
-rw-r--r-- 17994 GPLv2.TXT
-rw-r--r-- 2839 INSTALL.git
-rw-r--r-- 581 Makefile.am
-rw-r--r-- 4260 NEWS
-rw-r--r-- 1451 README
-rw-r--r-- 1270 THANKS
-rw-r--r-- 4025 TODO
-rwxr-xr-x 30404 bootstrap
-rw-r--r-- 2391 bootstrap.conf
-rw-r--r-- 5650 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - frontend
drwxr-xr-x - lib
drwxr-xr-x - m4
-rw-r--r-- 698 no-copyright
-rw-r--r-- 1592 pledgies
-rw-r--r-- 394 update-copyright