1. 08 Apr, 2013 2 commits
  2. 22 Feb, 2013 5 commits
  3. 30 May, 2012 2 commits
  4. 29 May, 2012 3 commits
  5. 10 Oct, 2011 2 commits
  6. 07 Oct, 2011 1 commit
  7. 06 Oct, 2011 3 commits
  8. 28 Sep, 2011 1 commit
  9. 08 Jun, 2011 2 commits
  10. 09 Nov, 2009 1 commit
  11. 16 Jun, 2009 1 commit
  12. 15 Jun, 2009 1 commit
  13. 11 May, 2009 3 commits
  14. 04 May, 2009 5 commits
  15. 03 May, 2009 1 commit
  16. 29 Apr, 2009 2 commits
  17. 27 Apr, 2009 3 commits
  18. 26 Apr, 2009 1 commit
  19. 15 Apr, 2009 1 commit
    • Agustin Martin Domingo's avatar
      Use input file name in initial comment of resulting info file. · d0176291
      Agustin Martin Domingo authored
      For info backend, we better put original input file name in
      resulting info, instead of obscure temp file name, so we
      have in header comment something like
      
        This is file.info, produced by makeinfo version x.yy from
        info file generated after file.sgml by means of linuxdoc-tools.
      
      instead of
      
        This is file.info, produced by makeinfo version x.yy from
        /tmp/linuxdoc-tools.Adm1iK88Ek/sgmltmp.file.2.texi.
      d0176291