diff options
Diffstat (limited to 'gdb/doc/a4rc.sed')
| -rw-r--r-- | gdb/doc/a4rc.sed | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/gdb/doc/a4rc.sed b/gdb/doc/a4rc.sed deleted file mode 100644 index 2292290..0000000 --- a/gdb/doc/a4rc.sed +++ /dev/null @@ -1,11 +0,0 @@ -/--- 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 |