From 2db3642d608943a8f6741dd506bc79dd2d6591e1 Mon Sep 17 00:00:00 2001 From: ivarne Date: Thu, 2 Jan 2014 17:38:49 +0100 Subject: [PATCH] Improved do not edit message in helpdb.jl --- juliadoc/jlhelp.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juliadoc/jlhelp.py b/juliadoc/jlhelp.py index 30b86c6e4b1a9..5e8aa535b3e0d 100644 --- a/juliadoc/jlhelp.py +++ b/juliadoc/jlhelp.py @@ -90,7 +90,7 @@ def write(self, *ignored): try: f = codecs.open(outfilename, 'w', 'utf-8') try: - f.write('# automatically generated -- do not edit\n\n' + + f.write('# automatically generated from files in doc/stdlib/ -- do not edit here\n\n' + '{\n\n') for docname in self.status_iterator(