Déplacement des fichiers MAN dans le bon dossier
This commit is contained in:
parent
e68a76b8cf
commit
4b1b67f513
|
@ -38,7 +38,6 @@ log "Debut du script"
|
||||||
create_dir ${log_dir}
|
create_dir ${log_dir}
|
||||||
|
|
||||||
log "Rafraichissement des listes de fichiers"
|
log "Rafraichissement des listes de fichiers"
|
||||||
./prep.sh
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
@ -86,7 +85,7 @@ fi
|
||||||
## Declarations ##
|
## Declarations ##
|
||||||
|
|
||||||
# Spécifier le chemin du répertoire ~/.local/bin
|
# Spécifier le chemin du répertoire ~/.local/bin
|
||||||
destination_dir="$HOME/.local/share/man"
|
destination_dir="$HOME/.local/share/man/man1"
|
||||||
|
|
||||||
# Spécifier le chemin du répertoire du dépôt Git local
|
# Spécifier le chemin du répertoire du dépôt Git local
|
||||||
source_dir="local/share/man"
|
source_dir="local/share/man"
|
||||||
|
|
Loading…
Reference in New Issue