diff options
Diffstat (limited to 'specs/Makefile.am')
-rw-r--r-- | specs/Makefile.am | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/specs/Makefile.am b/specs/Makefile.am index 6d99edd..04304e4 100644 --- a/specs/Makefile.am +++ b/specs/Makefile.am @@ -47,17 +47,17 @@ dist_doc_DATA = \ ch14.xml \ ch15.xml \ ch16.xml \ - XKBproto-1.gif \ - XKBproto-2.gif \ - XKBproto-3.gif \ - XKBproto-4.gif \ - XKBproto-5.gif \ - XKBproto-6.gif \ - XKBproto-7.gif \ - XKBproto-8.gif \ - XKBproto-9.gif \ - XKBproto-10.gif \ - XKBproto-11.gif + XKBproto-1.svg \ + XKBproto-2.svg \ + XKBproto-3.svg \ + XKBproto-4.svg \ + XKBproto-5.svg \ + XKBproto-6.svg \ + XKBproto-7.svg \ + XKBproto-8.svg \ + XKBproto-9.svg \ + XKBproto-10.svg \ + XKBproto-11.svg if HAVE_XMLTO doc_DATA = $(doc_sources:.xml=.html) |