mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-06-06 16:58:48 +08:00
flight_plans_path, flight_plan_dtd added
This commit is contained in:
@@ -24,6 +24,8 @@
|
||||
*
|
||||
*)
|
||||
|
||||
let (//) = Filename.concat
|
||||
|
||||
let paparazzi_src =
|
||||
try
|
||||
Sys.getenv "PAPARAZZI_SRC"
|
||||
@@ -35,3 +37,8 @@ let paparazzi_home =
|
||||
Sys.getenv "PAPARAZZI_HOME"
|
||||
with
|
||||
_ -> Filename.concat (Sys.getenv "HOME") "paparazzi"
|
||||
|
||||
|
||||
let flight_plans_path = paparazzi_home // "conf" // "flight_plans"
|
||||
|
||||
let flight_plan_dtd = flight_plans_path // "flight_plan.dtd"
|
||||
|
||||
@@ -29,3 +29,6 @@ val paparazzi_home : string
|
||||
|
||||
val paparazzi_src : string
|
||||
(** Installation's files directory *)
|
||||
|
||||
val flight_plans_path : string
|
||||
val flight_plan_dtd : string
|
||||
|
||||
Reference in New Issue
Block a user