diff options
| author | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:43:16 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:43:16 (EDT) |
| commit | 6db7b468fa1e59299ed3652778e26822b50e972f (patch) | |
| tree | 83adf1d99bacc0f7f80a50d1edeb1457cbf5bfdd | |
| parent | 7147d455fe5f70abb1a078a76a3c471d3d015d05 (diff) | |
src/pro-archman.sh: Rename to src/main.sh
| -rw-r--r-- | src/local.mk | 2 | ||||
| -rw-r--r-- | src/main.sh (renamed from src/pro-archman.sh) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/src/local.mk b/src/local.mk index 336ef4e..c906578 100644 --- a/src/local.mk +++ b/src/local.mk @@ -1,5 +1,5 @@ pro_archman_SOURCES += \ - %reldir%/pro-archman.sh \ + %reldir%/main.sh \ %reldir%/output.sh \ %reldir%/locale.sh \ %reldir%/control.sh \ diff --git a/src/pro-archman.sh b/src/main.sh index e17b751..e17b751 100644 --- a/src/pro-archman.sh +++ b/src/main.sh |