← Back to branch summary

~ubuntu-branches/ubuntu/dapper/hevea/dapper

« back to all changes in this revision

Viewing changes to info.ml

  • Committer: Bazaar Package Importer
  • Author(s): Ralf Treinen
  • Date: 2004-05-10 21:38:07 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20040510213807-4kxmazu72pcao16t
Tags: 1.07-2
http://bugs.debian.org/226212
http://bugs.debian.org/173940
* Backport Luc Maranget's patches from the unstable beta release:
  - rawhtml environments outputs to html only (closes: Bug#226212).
  - new rawtext environment which outputs to ascii and info output.
    this makes it possible to generate index information for info output
    (closes: Bug#173940).
* Added package Uploaders: Sven, Jerome, Remi, Zack.
* Remove in clean target .cvsignore

Show diffs side-by-side

added added

removed removed

Lines of Context:
info.ml
10
10
(***********************************************************************)
11
11
 
12
12
 
13
 
let header = "$Id: info.ml,v 1.30 2002/01/04 18:41:21 maranget Exp $"
 
13
let header = "$Id: info.ml,v 1.31 2002/08/28 08:02:08 maranget Exp $"
14
14
 
15
15
open Misc
16
16
open Text
100
100
        "",Lexing.from_string texte
101
101
      else
102
102
      (* changer de nom de fichier (renommer ?) *)
103
 
        let f = Parse_opts.name_out^".tmp" in
104
 
        f,Lexing.from_channel  (open_in f)
 
103
        try
 
104
          let f = Parse_opts.name_out^".tmp" in
 
105
          f,Lexing.from_channel  (open_in f)
 
106
        with Sys_error msg ->
 
107
          Misc.fatal ("Cannot re-open info output file "^msg)
105
108
    in
106
109
    InfoRef.dump buf ;
107
110
    if not Parse_opts.filter && !verbose <= 0 then Mysys.remove name