mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-06-06 16:58:48 +08:00
DTD include written as header while saving a flight plan
This commit is contained in:
@@ -37,6 +37,7 @@ let save_fp = fun () ->
|
||||
None -> ()
|
||||
| Some file ->
|
||||
let f = open_out file in
|
||||
fprintf f "<!DOCTYPE flight_plan SYSTEM \"flight_plan.dtd\">\n\n";
|
||||
fprintf f "%s\n" (ExtXml.to_string_fmt fp#xml);
|
||||
close_out f
|
||||
|
||||
|
||||
Reference in New Issue
Block a user