diff options
Diffstat (limited to 'gdb/doc/a4rc.sed')
| -rw-r--r-- | gdb/doc/a4rc.sed | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gdb/doc/a4rc.sed b/gdb/doc/a4rc.sed new file mode 100644 index 00000000000..22922904efc --- /dev/null +++ b/gdb/doc/a4rc.sed @@ -0,0 +1,11 @@ +/--- Papersize params:/,/--- end papersize params/c\ +%------- Papersize params:\ +%% A4 paper (297x210mm)\ +%%\ +\\totalwidth=297mm % total width of paper\ +\\totalheight=210mm % total height of paper\ +\\hmargin=5mm % horizontal margin width\ +\\vmargin=10mm % vertical margin width\ +\\secskip=.6pc % space between refcard secs\ +\\lskip=1pt % extra skip between \\sec entries\ +%------- end papersize params |