From: Ralf Treinen <treinen@debian.org>
Date: Thu, 5 Sep 2019 13:01:01 +0200
Subject: do not load .advirc from the working directory

---
 src/userfile.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/userfile.ml b/src/userfile.ml
index 9872f44..07aa540 100644
--- a/src/userfile.ml
+++ b/src/userfile.ml
@@ -148,13 +148,11 @@ let default_init_file0 = "/etc/advirc";;
 let default_init_file1 = Filename.concat user_home_dir ".advirc";;
 let default_init_file2 =
   tilde_subst (Filename.concat default_user_advi_dir "advirc");;
-let default_init_file3 = ".advirc";;
 
 let init_files = [
   default_init_file0;
   default_init_file1;
   default_init_file2;
-  default_init_file3;
 ];;
 
 let load_options_file options set_dvi_filename usage_msg fname =
