diff --git a/Encelado/build/Release.proj b/Encelado/build/Release.proj
index 73e791e..8c33eba 100644
--- a/Encelado/build/Release.proj
+++ b/Encelado/build/Release.proj
@@ -531,16 +531,29 @@
 
     <PropertyGroup>
       <Setup>$(CartellaPacchetti)\Encelado_$(V).exe</Setup>
+      <Portabile>$(CartellaPacchetti)\Encelado_$(V)_portabile.zip</Portabile>
     </PropertyGroup>
 
     <Error Condition="!Exists('$(Setup)')" Text="Installatore non trovato: $(Setup)" />
 
+    <!--
+      La copia portabile per chi non vuole installare niente.
+
+      In AutoBidder è il solo .exe, perché lì la pubblicazione è un file unico.
+      Qui l'applicazione ha bisogno di encelado.json accanto a sé, quindi è uno
+      zip della cartella. Si crea qui e non nel rilascio: entrambi i pacchetti
+      devono esistere anche costruendo senza pubblicare su Gitea.
+    -->
+    <Delete Files="$(Portabile)" ContinueOnError="true" />
+    <ZipDirectory SourceDirectory="$(CartellaPubblicazione)" DestinationFile="$(Portabile)" />
+
     <!-- Adesso: il pacchetto c'e', il tag puo' esistere. -->
     <CallTarget Targets="CreaTag" />
 
     <Message Importance="High" Text=" " />
     <Message Importance="High" Text="Pacchetto pronto:" />
     <Message Importance="High" Text="  $(Setup)" />
+    <Message Importance="High" Text="  $(Portabile)" />
   </Target>
 
   <!-- ═════════════════════ Versione e tag ═════════════════════ -->
@@ -676,24 +689,17 @@
     <Message Importance="High" Text="  release creata" />
 
     <!--
-      Allegati: l'installatore e una copia portabile. Chi non vuole installare
-      niente deve continuare a poter scaricare l'applicazione e basta.
+      Allegati: l'installatore e la copia portabile, entrambi già costruiti da
+      Pacchetto. Nient'altro — in particolare nessun sorgente: si pubblica il
+      programma, non il progetto.
 
-      In AutoBidder la copia portabile è il solo .exe, perché lì la
-      pubblicazione è un file unico. Qui è una cartella — l'applicazione ha
-      bisogno di encelado.json accanto a sé — quindi la copia portabile è uno
-      zip di quella cartella.
+      Gli archivi "Source code" che Gitea mostra da sé sulla pagina della release
+      non arrivano da qui: li genera il server dal tag, e si tolgono solo dalla
+      sua configurazione (DISABLE_DOWNLOAD_SOURCE_ARCHIVES in app.ini).
     -->
-    <PropertyGroup>
-      <Portabile>$(CartellaPacchetti)\Encelado_$(V)_portabile.zip</Portabile>
-    </PropertyGroup>
-
-    <Delete Files="$(Portabile)" ContinueOnError="true" />
-    <ZipDirectory SourceDirectory="$(CartellaPubblicazione)" DestinationFile="$(Portabile)" />
-
     <ItemGroup>
       <Allegato Include="$(Setup)" />
-      <Allegato Include="$(Portabile)" />
+      <Allegato Include="$(CartellaPacchetti)\Encelado_$(V)_portabile.zip" />
     </ItemGroup>
 
     <Exec Condition="Exists('%(Allegato.FullPath)')" EchoOff="true" StandardOutputImportance="low"