(texi-docstring-magic-texi-for): Use help-function-arglist

ProofGeneral · Mar 27, 2024 · a63a9b1 · a63a9b1
1 parent 5d6cbdf
commit a63a9b1
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/lib/texi-docstring-magic.el b/lib/texi-docstring-magic.el
@@ -3,7 +3,7 @@
 ;; This file is part of Proof General.
 
 ;; Portions © Copyright 1994-2012  David Aspinall and University of Edinburgh
-;; Portions © Copyright 2003-2021  Free Software Foundation, Inc.
+;; Portions © Copyright 2003-2024  Free Software Foundation, Inc.
 ;; Portions © Copyright 2001-2017  Pierre Courtieu
 ;; Portions © Copyright 2010, 2016  Erik Martin-Dorel
 ;; Portions © Copyright 2011-2013, 2016-2017  Hendrik Tews
@@ -336,10 +336,7 @@ Markup as @code{stuff} or @lisp stuff @end Lisp."
 			"Not documented."))
 	 (def	    (symbol-function function))
 	 (macrop    (eq 'macro (car-safe def)))
-	 (argsyms   (cond ((eq (car-safe def) 'lambda)
-			   (nth 1 def))
-                          ((eq (car-safe def) 'closure)
-                           (nth 2 def))))
+	 (argsyms   (help-function-arglist def 'preserve-names))
 	 (args	    (mapcar #'symbol-name argsyms)))
       (cond
        ((commandp function)