diff src/mk-oct-links @ 4045:b908aaa4080a

[project @ 2002-08-15 17:38:54 by jwe]
author jwe
date Thu, 15 Aug 2002 17:38:55 +0000
parents 044d25a60ea1
children 02fcb550f20c
line wrap: on
line diff
--- a/src/mk-oct-links
+++ b/src/mk-oct-links
@@ -7,7 +7,8 @@
 
 # The first non-option arg is taken as the directory where the .oct
 # files are installed.  The remaining arguments should be the list of
-# source files that were used to create the .oct files.
+# .df files corresponding to the source files that were used to
+# create the .oct files.
 
 print_only=false
 if [ $1 = "-p" ]; then
@@ -19,9 +20,9 @@
 shift
 
 for f in "$@"; do
-  base=`basename $f | sed 's/\.cc$//'`
-  fcns=`grep '^ *DEFUN_DLD' $f |\
-        sed -e 's/DEFUN_DLD *( *//' -e 's/ *,.*$//' |\
+  base=`basename $f | sed 's/\.df$//'`
+  fcns=`grep '^ *XDEFUN_DLD_INTERNAL' $f |\
+        sed -e 's/XDEFUN_DLD_INTERNAL *( *//' -e 's/ *,.*$//' |\
         sort -u`
   if [ -n "$fcns" ]; then
     for n in $fcns; do