Unified · Split
| @@ -1382,10 +1382,11 @@ let act cmds = · 1381 unmodified lines | |||
| 1382 | match splitatchar args '\t' with | 1382 | match splitatchar args '\t' with |
| 1383 | | "Title", "" -> | 1383 | | "Title", "" -> |
| 1384 | settitle @@ Filename.basename state.path; | 1384 | settitle @@ Filename.basename state.path; |
| 1385 | "No Title" | 1385 | E.s |
| 1386 | | "Title", v -> | 1386 | | "Title", v -> |
| 1387 | settitle v; | 1387 | settitle v; |
| 1388 | args | 1388 | args |
| 1389 | | _, "" -> E.s | ||
| 1389 | | c, v -> | 1390 | | c, v -> |
| 1390 | if let len = String.length c in | 1391 | if let len = String.length c in |
| 1391 | len > 6 && ((String.sub c (len-4) 4) = "date") | 1392 | len > 6 && ((String.sub c (len-4) 4) = "date") |
| @@ -1410,11 +1411,9 @@ let act cmds = · 18 unmodified lines | |||
| 1410 | Buffer.contents b | 1411 | Buffer.contents b |
| 1411 | else args | 1412 | else args |
| 1412 | ) | 1413 | ) |
| 1413 | else ( | 1414 | else args |
| 1414 | if nonemptystr v then args else c | ||
| 1415 | ) | ||
| 1416 | in | 1415 | in |
| 1417 | state.docinfo <- (1, s) :: state.docinfo | 1416 | if nonemptystr s then state.docinfo <- (1, s) :: state.docinfo |
| 1418 | 1417 | ||
| 1419 | | "infoend", "" -> | 1418 | | "infoend", "" -> |
| 1420 | state.docinfo <- List.rev state.docinfo; | 1419 | state.docinfo <- List.rev state.docinfo; |