Re: Control characters in doc strings

[Basil L. Contovounesios]

What about these?

progmodes/verilog-mode.el:12424:2: Warning: docstring contains control char 
#x0c (position 2845)
progmodes/verilog-mode.el:12875:2: Warning: docstring contains control char 
#x0c (position 1187)

It looks like verilog-mode intentionally uses form feed characters to
section large docstrings.  Perhaps these are used as a source for
generating external (e.g. HTML) docs (if not of verilog-mode then
conceivably of other packages).  Perhaps we should continue to allow
such usage?  (These are the only in-tree instances, BTW.)

Thanks,
-- 
Basil