version 1.19, 1998/07/08 16:47:31
|
version 1.24, 2000/09/23 15:46:52
|
Line 1
|
Line 1
|
\ documentation source to texi format converter |
\ documentation source to texi format converter |
|
|
\ Copyright (C) 1995 Free Software Foundation, Inc. |
\ Copyright (C) 1995,1996,1997,1998,1999 Free Software Foundation, Inc. |
|
|
\ This file is part of Gforth. |
\ This file is part of Gforth. |
|
|
Line 16
|
Line 16
|
|
|
\ You should have received a copy of the GNU General Public License |
\ You should have received a copy of the GNU General Public License |
\ along with this program; if not, write to the Free Software |
\ along with this program; if not, write to the Free Software |
\ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
\ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA. |
|
|
\ documentation source can contain lines in the form `doc-word' and |
\ documentation source can contain lines in the form `doc-word' and |
\ `short-word'. These are converted to appropriate full or short |
\ `short-word'. These are converted to appropriate full or short |
Line 63 create description-buffer 4096 chars all
|
Line 63 create description-buffer 4096 chars all
|
: skip-prefix ( c-addr1 u1 -- c-addr2 u2 ) |
: skip-prefix ( c-addr1 u1 -- c-addr2 u2 ) |
2dup 2 min s" --" compare 0= |
2dup 2 min s" --" compare 0= |
IF |
IF |
[char] - skip [char] - scan [char] - skip |
[char] - skip [char] - scan 1 /string |
THEN ; |
THEN ; |
|
|
: replace-_ ( c-addr u -- ) |
: replace-_ ( c-addr u -- ) |
Line 133 create description-buffer 4096 chars all
|
Line 133 create description-buffer 4096 chars all
|
." @cindex " |
." @cindex " |
." @code{" r@ doc-name 2@ typetexi ." }" |
." @code{" r@ doc-name 2@ typetexi ." }" |
cr |
cr |
|
r@ doc-name 2@ drop c@ [char] : <> if |
|
\ cut out words starting with :, info-lookup cannot handle them |
|
\ !! deal with : by replacing it here and in info-lookup? |
|
." @kindex " |
|
r@ doc-name 2@ typetexi |
|
cr |
|
endif |
." @format" cr |
." @format" cr |
." @code{" r@ doc-name 2@ typetexi ." } " |
." @code{" r@ doc-name 2@ typetexi ." } " |
." @i{" r@ doc-stack-effect 2@ type ." } " |
." @i{" r@ doc-stack-effect 2@ type ." } " |