diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2017-04-12 13:05:23 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-04-12 13:05:23 +0300 |
commit | caba861750571c86af1e80731f1a43dc96b47e95 (patch) | |
tree | d493ae3b9f98151caf53fa433c777a8766109117 /doc/it/margini.texi | |
parent | c8d82e842e7ad94cae039e6c978b4bea1a31c4d5 (diff) | |
download | egawk-caba861750571c86af1e80731f1a43dc96b47e95.tar.gz egawk-caba861750571c86af1e80731f1a43dc96b47e95.tar.bz2 egawk-caba861750571c86af1e80731f1a43dc96b47e95.zip |
Add Italian translation of the gawk manual.
Diffstat (limited to 'doc/it/margini.texi')
-rwxr-xr-x | doc/it/margini.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/it/margini.texi b/doc/it/margini.texi new file mode 100755 index 00000000..67b25192 --- /dev/null +++ b/doc/it/margini.texi @@ -0,0 +1,7 @@ +@tex +\global\bindingoffset = 4.6mm +@end tex + +@c \global\topskip = 0mm +@c \global\baselineskip = 0mm +@c \global\parskip = 0mm |