diff options
Diffstat (limited to 'docs/manual/makedev-syntax.txt')
| -rw-r--r-- | docs/manual/makedev-syntax.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/manual/makedev-syntax.txt b/docs/manual/makedev-syntax.txt index 4728c4beb..4703b2f0e 100644 --- a/docs/manual/makedev-syntax.txt +++ b/docs/manual/makedev-syntax.txt @@ -1,3 +1,5 @@ +// -*- mode:doc -*- ; + [[makedev-syntax]] Makedev syntax documentation ---------------------------- |