diff options
Diffstat (limited to 'old_ada/doc/docstyle.texi')
| -rw-r--r-- | old_ada/doc/docstyle.texi | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/old_ada/doc/docstyle.texi b/old_ada/doc/docstyle.texi deleted file mode 100644 index e740439..0000000 --- a/old_ada/doc/docstyle.texi +++ /dev/null @@ -1,19 +0,0 @@ -@c Emacs documentation style settings -@documentencoding UTF-8 -@c These two require Texinfo 5.0 or later, so we use the older -@c equivalent @set variables supported in 4.11 and hence -@ignore -@codequotebacktick on -@codequoteundirected on -@end ignore -@set txicodequoteundirected -@set txicodequotebacktick -@iftex -@c It turns out TeX sometimes fails to hyphenate, so we help it here -@hyphenation{au-to-mat-i-cal-ly} -@hyphenation{spec-i-fied} -@hyphenation{work-a-round} -@hyphenation{work-a-rounds} -@hyphenation{un-marked} -@hyphenation{dic-tion-ary} -@end iftex |