Message-Id: Comments: Authenticated sender is From: "Salvador Eduardo Tropea (SET)" Organization: INTI To: Eli Zaretskii , djgpp AT delorie DOT com Date: Thu, 13 Mar 1997 16:24:48 +0000 MIME-Version: 1.0 Content-type: text/plain; charset=US-ASCII Content-transfer-encoding: 7BIT Subject: Re: A question (and suggestion) about RHIDE Eli Zaretskii wrote: > On 12 Mar 1997, George Foot wrote: > > > : Is there a way to edit within RHIDE the info file of a program 'or in my > > : case the Allegro's one)? > > > > You *can* just load it up, as a text file; it's called allegro.inf in > > your info subdirectory. However, the files contain special characters in > > places to mark the starts of nodes, for example; you'll have to work out > > how to put these in. > > There's one more problem with editing Info files: it invalidates the > tag table that is used by the Info reader to get to a node given its > name. This is not a problem if you only make small changes, because > Info readers usually search around the tagged place, but large > deviations (like if you enter or delete a lot of text) can make the > reader fail to find a node. The RHIDE reader will fail if you modify enough text to make the reader to find another node before to find the desired node. > Some Info readers have a command to > validate an Info file, so you can be sure the edited file still works, > but I don't know if RHIDE has such an option. No doesn't exist. > The correct way to change the Info file is to edit the Texinfo > *source* of the docs and then run makeinfo.exe on it; this will > generate the tag tables using the updated source. The Texinfo sources > of the docs are in the source distribution of every package (e.g., for > Make look inside mak375s.zip for files with .texi, .txi or .tex > extension), and makeinfo.exe should be in your bin/ subdirectory if > you installed txi390b.zip. And with it you can make major changes. SET --------------- 0 -------------------------------- Salvador Eduardo Tropea (SET). Address: Curapaligue 2124, Caseros, 3 de Febrero Buenos Aires, (1678), ARGENTINA TE: +(541) 759 0013