X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=doc%2FMakefile;h=d13a1e31680b4a4c0da9cbbca96da4e476e5d558;hb=733ccdb62a1d595dca9dc015f390eac66a11345e;hp=20a9aa6c6deca4dff7d69980addc3254e0124f1e;hpb=92b7399d3a71e78e821f3baf42507d22ff25c31b;p=uffi.git

diff --git a/doc/Makefile b/doc/Makefile
index 20a9aa6..d13a1e3 100644
--- 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