Omni Systems, Inc.

  

Mif2Go User's Guide, Version 33u53

  

Valid HTML 4.01!

 

Made with Mif2Go

33 Producing deliverable results > 33.9 Archiving deliverables > 33.9.3 Specifying archive file name and optional version


33.9.3 Specifying archive file name and optional version

To specify the name of the archive file:

[Automation]

; ArchiveName = name for archive to be created, without extension

ArchiveName=MyProj

; ArchiveVer = version number if any to be appended to ArchiveName

ArchiveVer=1

; ArchiveExt = the correct extension to be added for the archive type,

; usually .zip

ArchiveExt=zip

Archive base file name

ArchiveName is the base file name of the archive to be created. For example, the setting for the RTF version of the Mif2Go User's Guide is:

ArchiveName = UGrtf

The value you specify for ArchiveName cannot include spaces.

The default value of ArchiveName depends on the output type. The default base name of any deliverable (archive or compiled Help system) is the base name of the project file. For most Help systems, this is the Help project file name; for other output types, it is the Mif2Go project file name. Table 33-5 shows the source of the default base file name of the archive for each output type.

Table 33-5 Default base file name for archive

Output type

Source of default base file name for archive

Reference

HTML Help

[MSHtmlHelpOptions]HHPFileName

8.2.5

JavaHelp, Oracle Help

[JavaHelpOptions]HSFileName

10.2.8

OmniHelp

[OmniHelpOptions]ProjectName (without prefix or suffix)

9.3.4

WinHelp

[HelpOptions]HPJFileName

7.1.6

Eclipse Help

plugin (literally)

11.8.4

All other output types

[FDK]PrjFileName (without path)

C.3

Archive version

ArchiveVer is an optional version identifier to be appended to ArchiveName, and may include any alphanumeric characters allowed in file names. See §2.1 Naming files, folders, and paths.

Archive file extension

ArchiveExt is the file extension for the type of archive to be created, without the preceding period; usually this is zip or jar. The default depends on the value of ArchiveCommand (see §33.9.1 Specifying an archiving command). If ArchiveCommand contains jar, the default extension is .jar; otherwise the default extension is .zip.



33 Producing deliverable results > 33.9 Archiving deliverables > 33.9.3 Specifying archive file name and optional version