diff options
| author | Richard W.M. Jones <rjones@redhat.com> | 2012-09-24 09:24:33 +0100 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2012-10-01 14:48:46 +0100 |
| commit | d8014089d1585810153f97fc75d8e5e93fb34b2f (patch) | |
| tree | 4cec031798e726fd3945ecd11471c70d1fb22f19 /generator | |
| parent | 77ca1f94d5982a0b49a57b7787a7f89b6b0b7de4 (diff) | |
| download | libguestfs-d8014089d1585810153f97fc75d8e5e93fb34b2f.tar.gz libguestfs-d8014089d1585810153f97fc75d8e5e93fb34b2f.tar.xz libguestfs-d8014089d1585810153f97fc75d8e5e93fb34b2f.zip | |
generator: Allow an optional emacs-mode at the top of generated files.
(cherry picked from commit a95d4261b8cedc31bfc3c5358be7b346b27d457b)
Diffstat (limited to 'generator')
| -rw-r--r-- | generator/generator_docstrings.ml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/generator/generator_docstrings.ml b/generator/generator_docstrings.ml index 48a392d5..8a14adfb 100644 --- a/generator/generator_docstrings.ml +++ b/generator/generator_docstrings.ml @@ -63,7 +63,7 @@ type comment_style = | ErlangStyle type license = GPLv2plus | LGPLv2plus -let generate_header ?(extra_inputs = []) comment license = +let generate_header ?(extra_inputs = []) ?emacs_mode comment license = let inputs = "generator/generator_*.ml" :: extra_inputs in let c = match comment with | CStyle -> pr "/* "; " *" @@ -72,7 +72,12 @@ let generate_header ?(extra_inputs = []) comment license = | OCamlStyle -> pr "(* "; " *" | HaskellStyle -> pr "{- "; " " | ErlangStyle -> pr "%% "; "% " in - pr "libguestfs generated file\n"; + pr "libguestfs generated file"; + (match emacs_mode with + | None -> () + | Some mode -> pr " -*- %s -*-" mode + ); + pr "\n"; pr "%s WARNING: THIS FILE IS GENERATED FROM:\n" c; List.iter (pr "%s %s\n" c) inputs; pr "%s ANY CHANGES YOU MAKE TO THIS FILE WILL BE LOST.\n" c; |