zsh-workers
 help / color / mirror / code / Atom feed
* [zsh-3.1.6] patch for zsh.texi
@ 1999-08-11  7:42 SAKAI Kiyotaka
  1999-08-14 10:45 ` Andrej Borsenkow
  0 siblings, 1 reply; 2+ messages in thread
From: SAKAI Kiyotaka @ 1999-08-11  7:42 UTC (permalink / raw)
  To: zsh-workers

I think zsh is not a utility but a shell (like bash), so dircategory
should be changed as follows.

And I think TAB is better than SPACE for direntry's separator, like
other texinfo files.

===================================================================
RCS file: Doc/RCS/zsh.texi,v
retrieving revision 1.1
diff -u -r1.1 Doc/zsh.texi
--- Doc/zsh.texi	1999/08/11 07:33:29	1.1
+++ Doc/zsh.texi	1999/08/11 07:35:48
@@ -16,9 +16,9 @@
 @set dsq '{}'
 @end iftex
 @ifinfo
-@dircategory Utilities
+@dircategory Shell
 @direntry
-     * ZSH: (zsh).                     The Z Shell Guide.
+     * ZSH: (zsh).				The Z Shell Guide.
 @end direntry
 @end ifinfo
 


^ permalink raw reply	[flat|nested] 2+ messages in thread

* RE: [zsh-3.1.6] patch for zsh.texi
  1999-08-11  7:42 [zsh-3.1.6] patch for zsh.texi SAKAI Kiyotaka
@ 1999-08-14 10:45 ` Andrej Borsenkow
  0 siblings, 0 replies; 2+ messages in thread
From: Andrej Borsenkow @ 1999-08-14 10:45 UTC (permalink / raw)
  To: SAKAI Kiyotaka, zsh-workers

>
> I think zsh is not a utility but a shell (like bash), so dircategory
> should be changed as follows.
>

I copied that from bash.info of bash-2.03, and there it was put in Utilities.
May be, in some Linux distribution it is put in Shell.

Not that I personally much care. The only problem is, that if we change it now,
we will have remnant in Utilities section. Is it worth changing at all?


/andrej


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~1999-08-14 10:45 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-08-11  7:42 [zsh-3.1.6] patch for zsh.texi SAKAI Kiyotaka
1999-08-14 10:45 ` Andrej Borsenkow

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).