r8105: Automated commit for Debian build of uffi upstream-version-1.3.7

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 20a9aa6c6deca4dff7d69980addc3254e0124f1e..d13a1e31680b4a4c0da9cbbca96da4e476e5d558 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -36,7 +36,7 @@ PSFILE=${DOCFILE_BASE}.ps
 DVIFILE=${DOCFILE_BASE}.dvi
 TXTFILE=${DOCFILE_BASE}.txt
 TMPFILES=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
-DOCFILES=$(shell echo *.sgml)
+DOCFILES=$(shell echo *.xml)
 
 .PHONY: all
 all: html pdf