From 66f49593cb6c65680e7e416eb6ed4dd11aa26180 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 11 Jan 2022 19:13:46 +0000 Subject: [PATCH] Return cpdf.top to working order --- cpdfcommandrun.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/cpdfcommandrun.ml b/cpdfcommandrun.ml index 501370b..63b157e 100644 --- a/cpdfcommandrun.ml +++ b/cpdfcommandrun.ml @@ -1 +1,4 @@ -let _ = Cpdfcommand.go () +let _ = + match Filename.basename Sys.argv.(0) with + "cpdf.top" -> () + | _ -> Cpdfcommand.go ()