35.11.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 35-5 shows the source of the default base file name of the archive for each output type.

Table 35-5 Default base file name for archive

Output type

Source of default base file name for archive

Ref.

HTML Help

[MSHtmlHelpOptions]HHPFileName

9.2.7

JavaHelp, Oracle Help

[JavaHelpOptions]HSFileName

11.3.8

OmniHelp

[OmniHelpOptions]ProjectName (without prefix or suffix)

10.3.3

WinHelp

[HelpOptions]HPJFileName

8.2.7

Eclipse Help

plugin (literally)

12.8.5

All other output types

[Setup]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 §1.1.2 File, directory, and path names.

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 §35.11.1 Specifying an archiving command). If ArchiveCommand contains jar, the default extension is .jar; otherwise the default extension is .zip.