guilt-push.html

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
   2     "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
   3 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
   4 <head>
   5 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
   6 <meta name="generator" content="AsciiDoc 8.2.1" />
   7 <style type="text/css">
   8 /* Debug borders */
   9 p, li, dt, dd, div, pre, h1, h2, h3, h4, h5, h6 {
  10 /*
  11   border: 1px solid red;
  12 */
  13 }
  14
  15 body {
  16   margin: 1em 5% 1em 5%;
  17 }
  18
  19 a {
  20   color: blue;
  21   text-decoration: underline;
  22 }
  23 a:visited {
  24   color: fuchsia;
  25 }
  26
  27 em {
  28   font-style: italic;
  29 }
  30
  31 strong {
  32   font-weight: bold;
  33 }
  34
  35 tt {
  36   color: navy;
  37 }
  38
  39 h1, h2, h3, h4, h5, h6 {
  40   color: #527bbd;
  41   font-family: sans-serif;
  42   margin-top: 1.2em;
  43   margin-bottom: 0.5em;
  44   line-height: 1.3;
  45 }
  46
  47 h1 {
  48   border-bottom: 2px solid silver;
  49 }
  50 h2 {
  51   border-bottom: 2px solid silver;
  52   padding-top: 0.5em;
  53 }
  54
  55 div.sectionbody {
  56   font-family: serif;
  57   margin-left: 0;
  58 }
  59
  60 hr {
  61   border: 1px solid silver;
  62 }
  63
  64 p {
  65   margin-top: 0.5em;
  66   margin-bottom: 0.5em;
  67 }
  68
  69 pre {
  70   padding: 0;
  71   margin: 0;
  72 }
  73
  74 span#author {
  75   color: #527bbd;
  76   font-family: sans-serif;
  77   font-weight: bold;
  78   font-size: 1.1em;
  79 }
  80 span#email {
  81 }
  82 span#revision {
  83   font-family: sans-serif;
  84 }
  85
  86 div#footer {
  87   font-family: sans-serif;
  88   font-size: small;
  89   border-top: 2px solid silver;
  90   padding-top: 0.5em;
  91   margin-top: 4.0em;
  92 }
  93 div#footer-text {
  94   float: left;
  95   padding-bottom: 0.5em;
  96 }
  97 div#footer-badges {
  98   float: right;
  99   padding-bottom: 0.5em;
 100 }
 101
 102 div#preamble,
 103 div.tableblock, div.imageblock, div.exampleblock, div.verseblock,
 104 div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
 105 div.admonitionblock {
 106   margin-right: 10%;
 107   margin-top: 1.5em;
 108   margin-bottom: 1.5em;
 109 }
 110 div.admonitionblock {
 111   margin-top: 2.5em;
 112   margin-bottom: 2.5em;
 113 }
 114
 115 div.content { /* Block element content. */
 116   padding: 0;
 117 }
 118
 119 /* Block element titles. */
 120 div.title, caption.title {
 121   font-family: sans-serif;
 122   font-weight: bold;
 123   text-align: left;
 124   margin-top: 1.0em;
 125   margin-bottom: 0.5em;
 126 }
 127 div.title + * {
 128   margin-top: 0;
 129 }
 130
 131 td div.title:first-child {
 132   margin-top: 0.0em;
 133 }
 134 div.content div.title:first-child {
 135   margin-top: 0.0em;
 136 }
 137 div.content + div.title {
 138   margin-top: 0.0em;
 139 }
 140
 141 div.sidebarblock > div.content {
 142   background: #ffffee;
 143   border: 1px solid silver;
 144   padding: 0.5em;
 145 }
 146
 147 div.listingblock {
 148   margin-right: 0%;
 149 }
 150 div.listingblock > div.content {
 151   border: 1px solid silver;
 152   background: #f4f4f4;
 153   padding: 0.5em;
 154 }
 155
 156 div.quoteblock > div.content {
 157   padding-left: 2.0em;
 158 }
 159
 160 div.attribution {
 161   text-align: right;
 162 }
 163 div.verseblock + div.attribution {
 164   text-align: left;
 165 }
 166
 167 div.admonitionblock .icon {
 168   vertical-align: top;
 169   font-size: 1.1em;
 170   font-weight: bold;
 171   text-decoration: underline;
 172   color: #527bbd;
 173   padding-right: 0.5em;
 174 }
 175 div.admonitionblock td.content {
 176   padding-left: 0.5em;
 177   border-left: 2px solid silver;
 178 }
 179
 180 div.exampleblock > div.content {
 181   border-left: 2px solid silver;
 182   padding: 0.5em;
 183 }
 184
 185 div.verseblock div.content {
 186   white-space: pre;
 187 }
 188
 189 div.imageblock div.content { padding-left: 0; }
 190 div.imageblock img { border: 1px solid silver; }
 191 span.image img { border-style: none; }
 192
 193 dl {
 194   margin-top: 0.8em;
 195   margin-bottom: 0.8em;
 196 }
 197 dt {
 198   margin-top: 0.5em;
 199   margin-bottom: 0;
 200   font-style: italic;
 201 }
 202 dd > *:first-child {
 203   margin-top: 0;
 204 }
 205
 206 ul, ol {
 207     list-style-position: outside;
 208 }
 209 ol.olist2 {
 210   list-style-type: lower-alpha;
 211 }
 212
 213 div.tableblock > table {
 214   border: 3px solid #527bbd;
 215 }
 216 thead {
 217   font-family: sans-serif;
 218   font-weight: bold;
 219 }
 220 tfoot {
 221   font-weight: bold;
 222 }
 223
 224 div.hlist {
 225   margin-top: 0.8em;
 226   margin-bottom: 0.8em;
 227 }
 228 div.hlist td {
 229   padding-bottom: 5px;
 230 }
 231 td.hlist1 {
 232   vertical-align: top;
 233   font-style: italic;
 234   padding-right: 0.8em;
 235 }
 236 td.hlist2 {
 237   vertical-align: top;
 238 }
 239
 240 @media print {
 241   div#footer-badges { display: none; }
 242 }
 243
 244 div#toctitle {
 245   color: #527bbd;
 246   font-family: sans-serif;
 247   font-size: 1.1em;
 248   font-weight: bold;
 249   margin-top: 1.0em;
 250   margin-bottom: 0.1em;
 251 }
 252
 253 div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
 254   margin-top: 0;
 255   margin-bottom: 0;
 256 }
 257 div.toclevel2 {
 258   margin-left: 2em;
 259   font-size: 0.9em;
 260 }
 261 div.toclevel3 {
 262   margin-left: 4em;
 263   font-size: 0.9em;
 264 }
 265 div.toclevel4 {
 266   margin-left: 6em;
 267   font-size: 0.9em;
 268 }
 269 include1::./stylesheets/xhtml11-manpage.css[]
 270 /* Workarounds for IE6's broken and incomplete CSS2. */
 271
 272 div.sidebar-content {
 273   background: #ffffee;
 274   border: 1px solid silver;
 275   padding: 0.5em;
 276 }
 277 div.sidebar-title, div.image-title {
 278   font-family: sans-serif;
 279   font-weight: bold;
 280   margin-top: 0.0em;
 281   margin-bottom: 0.5em;
 282 }
 283
 284 div.listingblock div.content {
 285   border: 1px solid silver;
 286   background: #f4f4f4;
 287   padding: 0.5em;
 288 }
 289
 290 div.quoteblock-content {
 291   padding-left: 2.0em;
 292 }
 293
 294 div.exampleblock-content {
 295   border-left: 2px solid silver;
 296   padding-left: 0.5em;
 297 }
 298
 299 /* IE6 sets dynamically generated links as visited. */
 300 div#toc a:visited { color: blue; }
 301 </style>
 302 <title>guilt-push(1)</title>
 303 </head>
 304 <body>
 305 <div id="header">
 306 <h1>
 307 guilt-push(1) Manual Page
 308 </h1>
 309 <h2>NAME</h2>
 310 <div class="sectionbody">
 311 <p>guilt-push -
 312    Push patches onto the tree
 313 </p>
 314 </div>
 315 </div>
 316 <h2>SYNOPSIS</h2>
 317 <div class="sectionbody">
 318 <p><em>guilt-push</em> [ -f ] [-a | --all | &lt;patchname&gt;]</p>
 319 </div>
 320 <h2>OPTIONS</h2>
 321 <div class="sectionbody">
 322 <dl>
 323 <dt>
 324 -f
 325 </dt>
 326 <dd>
 327 <p>
 328         Force the push if the patch doesn't apply cleanly
 329 </p>
 330 </dd>
 331 <dt>
 332 --all
 333 </dt>
 334 <dt>
 335 -a
 336 </dt>
 337 <dd>
 338 <p>
 339         Push all patches on the tree
 340 </p>
 341 </dd>
 342 <dt>
 343 &lt;patchname&gt;
 344 </dt>
 345 <dd>
 346 <p>
 347         Push this patch on the tree
 348 </p>
 349 </dd>
 350 </dl>
 351 </div>
 352 <h2>Author</h2>
 353 <div class="sectionbody">
 354 <p>Written by Josef "Jeff" Sipek &lt;jsipek@cs.sunysb.edu&gt;</p>
 355 </div>
 356 <h2>Documentation</h2>
 357 <div class="sectionbody">
 358 <p>Documentation by Brandon Philips &lt;brandon@ifup.org&gt;</p>
 359 </div>
 360 <h2>GUILT</h2>
 361 <div class="sectionbody">
 362 <p>Part of the <a href="guilt.html">guilt(7)</a> suite
 363 (Generated for Guilt v0.26)</p>
 364 </div>
 365 <div id="footer">
 366 <div id="footer-text">
 367 Last updated 17-Jul-2007 10:51:34 EDT
 368 </div>
 369 </div>
 370 </body>
 371 </html>