パクレットを追加する

「ドキュメントツール」パレットの一番上のドロップダウンメニューのパクレットの追加...をクリックして，現在パクレットがあるディレクトリ，またはこれからパクレットを作成するディレクトリを選ぶ：

選んでから，パクレットの設定を確認する：

これでドキュメントを書き始められるようになった．

• 「ドキュメントツール」は，作成済みのパクレットでドキュメントを書きたいものにも，空のディレクトリにも使える．

パクレット間で切り換える

新たに追加されたパクレットが使用するパクレットとして選択される：

ドロップダウンメニューに表示される既存パクレットのリストから選べる：

「パクレットインスペクタ」を使って，パクレットを「ドキュメントツール」に追加したり，「ドキュメントツール」から削除したりすることもできる：