From 87748b706734eb8ec07335f7bdd02e8a924b3ba6 Mon Sep 17 00:00:00 2001
From: Andreas Fackler <afck@users.noreply.github.com>
Date: Sat, 22 Feb 2025 11:39:06 +0100
Subject: [PATCH] Add missing faucet entries to packages.txt. (#3390)

## Motivation

Publishing the documentation fails on `main`.

## Proposal

Add the missing entries to `packages.txt`.

## Test Plan

I reproduced the problem locally with `test_publish.sh`. The change
fixes it.

## Release Plan

- Nothing to do / These changes follow the usual release cycle.

## Links

- [reviewer
checklist](https://github.com/linera-io/linera-protocol/blob/main/CONTRIBUTING.md#reviewer-checklist)
---
 packages.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages.txt b/packages.txt
index 15cc2f627e17..20df836e3388 100644
--- a/packages.txt
+++ b/packages.txt
@@ -18,5 +18,7 @@ linera-sdk
 linera-rpc
 linera-client
 linera-faucet
+linera-faucet-client
+linera-faucet-server
 linera-service
 linera-service-graphql-client