@@ -19,7 +19,7 @@ DOCS = docs/FORMATS \
docs/CREDITS \
docs/html/ \
docs/pisg-doc.txt \
- docs/pisg-doc.sgml \
+ docs/pisg-doc.xml \
DEVDOCS = docs/dev/API
Morten Brix Pedersen