Proposal: Remove Jed_Doc_Files by add_doc_file()

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi John,

what do you think about removing Jed_Doc_Files by the *_doc_files()
functions? Would you accept a patch?

Bye, Jörg.
-- 
Geld allein macht nicht glücklich, aber es ist besser in einem Taxi zu
weinen, als in der Straßenbahn.
	       	   	       			(Marcel Reich-Ranicki)

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.