X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora.ml;h=b40a67ccd1465a427268727f8f6bd424b07b58b0;hb=19bafbc8d9d829cd95a26efb5bf5c208bfdf6036;hp=6575dbfa00bc127f7df1e48f05b754363ab452f8;hpb=64f1a6ae2f0d20500438ed6ea59de94f2056db90;p=goaljobs-goals.git diff --git a/fedora.ml b/fedora.ml index 6575dbf..b40a67c 100644 --- a/fedora.ml +++ b/fedora.ml @@ -5,11 +5,7 @@ open Printf open Goaljobs -(* Repo dir, etc. *) -let fedora_dir = Sys.getenv "HOME" // "d/fedora" -let fedora_repo pkg branch = fedora_dir // pkg // branch -let fedora_specfile pkg branch = - sprintf "%s/%s.spec" (fedora_repo pkg branch) pkg +open Config (* Get the current version of a package. *) let fedora_verrel pkg branch =