[tex4ht] [bug #136] #line in output

[Karl Berry]

Follow-up Comment #4, bug #136 (project tex4ht):

hi deimi - thanks for the patch.  agreed about protex. i've never imported
protex into the tex4ht repository since we hadn't yet needed to make changes
there. however, i see no problem in doing so.

what's on CTAN is current as far as i know.  maybe you could work up the patch
against that, send it here. i'll see about importing protex into our repo and
making a release. unless someone else here would like to take that on ...

as for an option: for the C files, I see no need for an option.
but for the TeX-related .4ht and other files, it seems it would be prudent to
be able to turn off line numbers at the beginning of a given tex4ht-*.tex
literate file, since I can imagine the extra comments causing problems
sometimes.  we all know about TeX and input parsing ... thanks, k.

___

Reply to this item at:

  

___
  Message sent via/by Puszcza
  http://puszcza.gnu.org.ua/

[tex4ht] [bug #136] #line in output

[Deimantas Galčius]

Follow-up Comment #3, bug #136 (project tex4ht):

Hi Karl, quick patch is attached. The fix is in a separate file. 

Probably it would be better to patch ProTex.sty directly. 
Eventually I could introduce an option (e.g., "CodeLineNo") in ProTex.sty; 
then to generate line numbers would be matter of a setup option:
e.g.,  
 \AlProTex{c,<<<>>>,`,title,list,[],ClearCode,_^,CodeLineNo}
instead of 
 \AlProTex{c,<<<>>>,`,title,list,[],ClearCode,_^}
The option could be applied for other kind of files (.4ht, .etc) too 
(with a different line number format). 

But ProTex.sty is not tracked in tex4ht repo. It's on CTAN. 
If I submit changes to ProTex.sty on CTAN, 
how would tex4ht repo get those changes?


I'm not sure if line numbers should always be in the output or
just under some switch when debugging/developing. 


Definetely I'm ok with LPPL. 

thank you, 
--deimi

(file #238)
___

Additional Item Attachment:

File name: quick-fix-b136.diffSize:1 KB


___

Reply to this item at:

  

___
  Message sent via/by Puszcza
  http://puszcza.gnu.org.ua/