[Top][All Lists]

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

[Octave-bug-tracker] [bug #48996] comment preceeding texinfo

From: Ernst Reissner
Subject: [Octave-bug-tracker] [bug #48996] comment preceeding texinfo
Date: Sun, 4 Sep 2016 22:00:59 +0000 (UTC)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:48.0) Gecko/20100101 Firefox/48.0

Follow-up Comment #2, bug #48996 (project octave):

Ok, it is according to the documentation. 
Insofar, it is no bug. 

On the other hand, I ask myself, 
whether the rule shouldnt be: 
all after %% -*- texinfo -*-

This would allow arbitrary information 
which is by its nature so that the file should start with. 

The copyright notice is just one example, 
for generated files, the note that it was generated 
is much more useful instead. 

What do you think of that? 


Reply to this item at:


  Message sent via/by Savannah

reply via email to

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