module Confv: sig .. end
Configuration variables.
val proyecto : string
Nombre del proyecto
val pry_desc : string
Descripción corta
val pry_version : string
Versión
val urlsite : string
Sitio de desarrollo de este proyecto
val act_proc : string
Regla para actualizar sitio de publicación
val mes_act : string
Mes de actualización
val fecha_act : string
Fecha de la actualización más reciente
val ocamlc : string
Compilador bytecode de Ocaml
val ocamlopt : string
Compilador de código nativo de Ocaml
val ocamldep : string
Dependencias entre archivos Ocaml.
val ocamlyacc : string
Generador de parsers para Ocaml
val ocamllex : string
Generador de scanners para Ocaml
val ocamllib : string
Vía de librerías estándar de Ocaml
val markup_path : string
Vía de la librería Markup
val labltk_path : string
Vía de la librería LablTK
val repasatk_rule : string
Regla para compilar repasatk en el Makefile
val ncftpput : string
Programa para transferir archivos desde línea de comandos usando el protocolo FTP
val scp : string
Programa para transferir archivos desde la línea de comandos usando SSH
val insbin : string
Directorio de instalación de binarios
val insxml : string
Directorio de instalación de dtds y stylesheets
val inslib : string
Directorio donde se instalará librería repasa
val insdata : string
Directorio de instalación de datos (e.g plantilla DocBook)
val insman : string
Directorio donde se instalarán paginas man
val insdoc : string
Directorio donde se instalará documentación
val altxml : string
Directorio alterno de dtds y stylesheets
val mailprog : string
Programa para enviar correo
val emailsug : string
Correo para enviar sugerencias sobre preguntas y respuestas
val awk : string
Interprete POSIX Awk. Empleado para transformar textos.
val cp : string
Para copiar archivos
val cvs : string
Para control de versiones
val ed : string
Editor orientado a linea.
val find : string
Para ubicar archivos
val gzip : string
Compresor gzip.
val make : string
Ejecuta comandos requeridos
val mkdir : string
Crea directorios
val mv : string
Mueve/renombra archivos
val perl : string
Interprete del lenguaje Perl.
val rm : string
Para eliminar archivos
val scp : string
Programa para transferir archivos desde la línea de comandos usando SSH
val sed : string
Stream Editor. Empleado para transformar textos.
val tar : string
Empaquetador de archivos tar.
val touch : string
touch
val w3m : string
Programa para visualizar HTML como texto en una terminal
val w3m_opt : string
Opciones para visualizador HTML como texto
val zip : string
Compresor zip.