helm/software/matita/help/C/matita.xml

   1 <?xml version='1.0' encoding='UTF-8'?>
   2 <!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN"
   3   "http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd" [
   4
   5   <!ENTITY dhfirstname "<firstname>Enrico</firstname>">
   6   <!ENTITY dhsurname   "<surname>Tassi</surname>">
   7   <!ENTITY dhdate      "<date>21 Jun 2007</date>">
   8   <!ENTITY dhsection   "<manvolnum>1</manvolnum>">
   9   <!ENTITY dhemail     "<email>gareuselesinge@debian.org</email>">
  10   <!ENTITY dhusername  "Enrico Tassi">
  11   <!ENTITY dhucpackage "<refentrytitle>matita</refentrytitle>">
  12   <!ENTITY dhpackage   "matita">
  13
  14   <!ENTITY debian      "<productname>Debian</productname>">
  15   <!ENTITY gnu         "<acronym>GNU</acronym>">
  16   <!ENTITY gpl         "&gnu; <acronym>GPL</acronym>">
  17 ]>
  18
  19 <refentry>
  20   <refentryinfo>
  21     <address>
  22       &dhemail;
  23     </address>
  24     <author>
  25       &dhfirstname;
  26       &dhsurname;
  27     </author>
  28     <copyright>
  29       <year>2007</year>
  30       <holder>&dhusername;</holder>
  31     </copyright>
  32     &dhdate;
  33   </refentryinfo>
  34   <refmeta>
  35     &dhucpackage;
  36
  37     &dhsection;
  38   </refmeta>
  39   <refnamediv>
  40     <refname>&dhpackage;</refname>
  41
  42     <refpurpose>creates XML data file for Vim7 omni completion from
  43       DTDs</refpurpose>
  44   </refnamediv>
  45   <refsynopsisdiv>
  46     <cmdsynopsis>
  47       <command>&dhpackage;</command>
  48       <arg choice="req"><replaceable>filename</replaceable>.dtd</arg>
  49       <arg choice="opt"><replaceable>dialectname</replaceable></arg>
  50     </cmdsynopsis>
  51   </refsynopsisdiv>
  52
  53   <refsect1>
  54     <title>DESCRIPTION</title>
  55
  56     <para> This manual page documents brieftly the
  57       <command>&dhpackage;</command> program. For more information see its HTML
  58       documentation in
  59       <filename>/usr/share/doc/vim-scripts/html/dtd2vim.html</filename>.
  60     </para>
  61
  62     <para>Starting from version 7 Vim supports context aware completion of XML
  63       files (and others). In particular, when the file being edited is an XML
  64       file, completion can be driven by the grammar extracted from a Document
  65       Type Definition (DTD). </para>
  66
  67     <para>For this feature to work the user should put an XML data file
  68       corresponding to the desired DTD in a <filename>autoload/xml</filename>
  69       directory contained in a directory belonging to Vim's
  70       <varname>'runtimepath'</varname> (for example
  71       <filename>~/.vim/autoload/xml/</filename>). </para>
  72
  73     <para><command>&dhpackage;</command> is the program that creates XML data
  74       files from DTDs. Given as input a DTD
  75       <filename><replaceable>file</replaceable>.dtd</filename> it will create a
  76       <filename>file.vim</filename> XML data file.
  77       <replaceable>dialectname</replaceable> will be part of dictionary name
  78       and will be used as argument for the <command>:XMLns</command> command.
  79     </para>
  80
  81   </refsect1>
  82
  83   <refsect1>
  84     <title>OPTIONS</title>
  85
  86     <para>None. </para>
  87   </refsect1>
  88
  89   <refsect1>
  90     <title>SEE ALSO</title>
  91
  92     <para>vim (1).</para>
  93
  94     <para>In the Vim online help: <userinput>:help compl-omni</userinput>,
  95       <userinput>:help ft-xml-omni</userinput>, <userinput>:help
  96         :XMLns</userinput>. </para>
  97
  98     <para>dtd2vim is fully documented in
  99       <filename>/usr/share/doc/vim-scripts/html/dtd2vim.html</filename>.
 100     </para>
 101   </refsect1>
 102
 103   <refsect1>
 104     <title>AUTHOR</title>
 105
 106     <para>This manual page was written by &dhusername; &dhemail; for the
 107       &debian; system (but may be used by others). Permission is granted to
 108       copy, distribute and/or modify this document under the terms of the &gnu;
 109       General Public License, Version 2 any later version published by the Free
 110       Software Foundation. </para>
 111
 112     <para> On Debian systems, the complete text of the GNU General Public
 113       License can be found in /usr/share/common-licenses/GPL. </para>
 114   </refsect1>
 115
 116 </refentry>
 117