diff options
| -rw-r--r-- | debian/README.github | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/README.github b/debian/README.github index 376f50e..a1e0a98 100644 --- a/debian/README.github +++ b/debian/README.github @@ -20,7 +20,7 @@ How to build packages: # dpkg-buildpackage -sa -rfakeroot or: # sudo dpkg-buildpackage -sa - or whatsoeve + or whatsoever 7. See and install new packages (open-axiom and open-axiom-databases at least): # ls -lh ../*.deb |