poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] docs: Generate a PVM instruction index


From: Jose E. Marchesi
Subject: Re: [PATCH] docs: Generate a PVM instruction index
Date: Mon, 24 Oct 2022 13:02:05 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)

Hi Arsen.
OK for master.
Thanks!

> ---
> Hi,
>
> Here's the PVM insns index I mentioned the other day.  A thing to consider
> might be that we want to make [Index] link to an indicies overview page, like
> automake 
> (https://www.gnu.org/software/automake/manual/html_node/Indices.html),
> though I'm unsure if that's desirable for an index of this size. WDYT?
>
> Other than that, OK for master?
>
> Good night!
>
>  ChangeLog            | 3 +++
>  doc/gen-pvm-insns.sh | 2 +-
>  doc/poke.texi        | 6 ++++++
>  3 files changed, 10 insertions(+), 1 deletion(-)
>
> diff --git a/ChangeLog b/ChangeLog
> index 3320c32e..d03c4713 100644
> --- a/ChangeLog
> +++ b/ChangeLog
> @@ -1,5 +1,8 @@
>  2022-10-23  Arsen Arsenović  <arsen@aarsen.me>
>  
> +        * doc/gen-pvm-insns.sh (SUBSECTIONS): Emit @pvindex calls for
> +        insns.
> +        * doc/poke.texi (PVM Instruction Index): New section.
>          * AUTHORS: Add myself.
>          * etc/hacking.org (Write After Approval): Likewise.
>          * HACKING: Regenerate.
> diff --git a/doc/gen-pvm-insns.sh b/doc/gen-pvm-insns.sh
> index 53a2494b..409b9935 100755
> --- a/doc/gen-pvm-insns.sh
> +++ b/doc/gen-pvm-insns.sh
> @@ -56,7 +56,7 @@ do
>          | sed -e 's/# Stack: \(.*\)/\nStack: @code{\1}/' \
>          | sed -e 's/# Exceptions Stack: \(.*\)/\nException Stack: 
> @code{\1}/' \
>          | sed -e 's/# Exceptions: \(.*\)/\nExceptions: @code{\1}/' \
> -        | sed -e 's/# Instruction: \([^ ][^ ]*\)\(.*\)/\n@node Instruction 
> \1\n@subsubsection Instruction \1\n\nSynopsys:\n\n@example\n\1\2\n@end 
> example\n\n/' \
> +        | sed -e 's/# Instruction: \([^ ][^ ]*\)\(.*\)/\n@node Instruction 
> \1\n@subsubsection Instruction \1\n@pvindex 
> \1\n\nSynopsys:\n\n@example\n\1\2\n@end example\n\n/' \
>          | sed -e 's/^# //' \
>          | sed -e 's/^#//' \
>          | uniq
> diff --git a/doc/poke.texi b/doc/poke.texi
> index df95b2b6..c6eb31c8 100644
> --- a/doc/poke.texi
> +++ b/doc/poke.texi
> @@ -4,6 +4,7 @@
>  @include version.texi
>  @settitle GNU poke Manual
>  @afourpaper
> +@defcodeindex pv
>  @comment %**end of header
>  
>  @copying
> @@ -15687,6 +15688,11 @@ It returns an offset that is the result of aligning 
> the given
>  
>  @printindex cp
>  
> +@node PVM Instruction Index
> +@unnumbered PVM Instruction Index
> +
> +@printindex pv
> +
>  @bye
>  
>  @c  LocalWords:  texinfo setfilename texi settitle Pokist afourpaper



reply via email to

[Prev in Thread] Current Thread [Next in Thread]