diff options
| author | Omar Polo <op@omarpolo.com> | 2022-04-08 16:36:25 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2022-04-08 16:36:25 +0000 |
| commit | 8addd12c1a9095d6598f1b9cf7a56f5a6bb6cc2a (patch) | |
| tree | 80f560fa1f8a191650ab43e07553d226c324c57c /site/faq.gmi | |
| parent | b6c093c99a4218958ea0ea6194623f4c0c650628 (diff) | |
don't need to re-exec ./configure && make
Diffstat (limited to 'site/faq.gmi')
| -rw-r--r-- | site/faq.gmi | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/site/faq.gmi b/site/faq.gmi index 87a0067..cff5b5f 100644 --- a/site/faq.gmi +++ b/site/faq.gmi @@ -55,8 +55,6 @@ so that it becomes then recompile gmid and run the regress suite: ``` -$ ./configure -$ make $ make regress ``` |