Release versions 1.2.11 and 1.2.11-1

[videolink.git] / generate_dvd.cpp

diff --git a/generate_dvd.cpp b/generate_dvd.cpp
index e28659e1be467c225738b9044aa7c21b326eee8a..371894d41edc23abd7ac34abee8337fd52b64711 100644 (file)
--- a/generate_dvd.cpp
+++ b/generate_dvd.cpp
@@ -1,6 +1,7 @@
 // Copyright 2005-8 Ben Hutchings <ben@decadent.org.uk>.
 // See the file "COPYING" for licence details.
 
+#include <cassert>
 #include <cerrno>
 #include <cstring>
 #include <fstream>
@@ -251,7 +252,7 @@ void dvd_generator::generate_menu_vob(unsigned index,
            " -loop_input -i " << background_name <<
            " -t " << menu_duration_seconds(frame_params_) <<
            " -target " << frame_params_.common_name <<  "-dvd"
-           " -vcodec mpeg2video -aspect 4:3 -an -y /dev/stdout";
+           " -aspect 4:3 -an -y /dev/stdout";
     }
     else
     {
@@ -359,8 +360,9 @@ void dvd_generator::generate(const std::string & output_dir) const
        const bool have_real_menus =
            titleset_num * dvdauthor_anonymous_menus_max < menus_.size();
 
-       file << "  <" << outer_element_name << ">\n"
-            << "    <menus>\n";
+       file << "  <" << outer_element_name << ">\n" <<
+            "    <menus>\n"
+            "      <video format='" << frame_params_.common_name << "'/>\n";
 
        const unsigned menu_begin = titleset_num * dvdauthor_anonymous_menus_max;
        const unsigned menu_end =
@@ -605,6 +607,7 @@ void dvd_generator::generate(const std::string & output_dir) const
        {
            file <<
                "    <titles>\n"
+               "      <video format='" << frame_params_.common_name << "'/>\n"
                "      <pgc>\n";
 
            file << "        <pre>\n";