make works with python3
This commit is contained in:
parent
a6cda973df
commit
8d19d4049a
@ -15,7 +15,7 @@ Converting to other formats
|
|||||||
As a Git repository the file isn't all that useful. You can export it in other formats as follows:
|
As a Git repository the file isn't all that useful. You can export it in other formats as follows:
|
||||||
|
|
||||||
```bash
|
```bash
|
||||||
python2 makeJargon.py
|
python makeJargon.py
|
||||||
```
|
```
|
||||||
All of the resulting documents can be found in the _docs_ subdirectory. Current formats supported are manpages, HTML and org-mode markup.
|
All of the resulting documents can be found in the _docs_ subdirectory. Current formats supported are manpages, HTML and org-mode markup.
|
||||||
|
|
||||||
|
@ -146,7 +146,7 @@ def jargonToManpage(manpageFilename, entries, version, publishername):
|
|||||||
fp.close()
|
fp.close()
|
||||||
|
|
||||||
os.system("gzip " + manpageFilename)
|
os.system("gzip " + manpageFilename)
|
||||||
print "manpage can be installed with the command:"
|
print("manpage can be installed with the command:")
|
||||||
print("sudo install -m 644 " + manpageFilename +
|
print("sudo install -m 644 " + manpageFilename +
|
||||||
".gz /usr/local/share/man/man1")
|
".gz /usr/local/share/man/man1")
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user