libvlccore: fix AUTO_ADJUST_PTS_DELAY short comment.

[vlc] / doc / developer / manual.xml

diff --git a/doc/developer/manual.xml b/doc/developer/manual.xml
index 3d23d79ba350e7500526c69269e1219c8af6452f..918e976370241df72477b4cf12f79e9e122ba9a1 100644 (file)
--- a/doc/developer/manual.xml
+++ b/doc/developer/manual.xml
@@ -1,6 +1,6 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
+<?xml version="1.0" encoding="UTF-8"?>
 
-<!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN" "/usr/share/sgml/docbook/xml-dtd-4.1.2/docbookx.dtd"
+<!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN" "/usr/share/sgml/docbook/dtd/xml/4.1/docbookx.dtd"
 [
     <!ENTITY glossary SYSTEM "glossary.xml">
     <!ENTITY overview SYSTEM "overview.xml">
@@ -15,7 +15,7 @@
     <!ENTITY gfdl SYSTEM "gfdl.xml">
 ]>
 
-<book>
+<book id="vlc-dev-doc">
 
 <title> VLC media player API Documentation </title>