Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- hilfe:plugins:optional:docsearch [18.04.2026 23:12] – ↷ Seite von wiki:hilfe:plugins:optional:docsearch nach hilfe:plugins:optional:docsearch verschoben christoph_ziehr
+++ hilfe:plugins:optional:docsearch [18.04.2026 23:12] (aktuell) – ↷ Links angepasst, weil Seiten im Wiki verschoben wurden christoph_ziehr
@@ Zeile 13: / Zeile 13: @@
 ==== Funktionsweise des docsearch-Plugins ====
-Die DokuWiki-Software kann standardmäßig nur den [[wiki:hilfe:administration:suchindex|Suchindex]] für Wiki-Seiten erzeugen, nicht aber für Dateien.
+Die DokuWiki-Software kann standardmäßig nur den [[hilfe:administration:suchindex|Suchindex]] für Wiki-Seiten erzeugen, nicht aber für Dateien.
 Das Plugin erreicht technisch gesehen auf folgendem Weg, dass auch Mediendateien durchsucht werden können:
@@ Zeile 29: / Zeile 29: @@
 ===== Installation des Plugins =====
-Dieses Plugin ist in der Standard-Einsatzleiterwiki-Installation nicht enthalten. Installieren Sie das Plugin, wie in der Anleitung [[wiki:hilfe:plugins:plugins_installieren]] beschrieben. In den Suchergebnissen des Plugin-Managers wird das Plugin als //Document Search Plugin// bezeichnet.
+Dieses Plugin ist in der Standard-Einsatzleiterwiki-Installation nicht enthalten. Installieren Sie das Plugin, wie in der Anleitung [[hilfe:plugins:plugins_installieren]] beschrieben. In den Suchergebnissen des Plugin-Managers wird das Plugin als //Document Search Plugin// bezeichnet.
 ===== Konfiguration des Plugins und Installation von Drittprogrammen in Linux-Betriebssystemen =====