mirror of
https://git.rtems.org/rtems-docs/
synced 2025-05-15 03:17:09 +08:00
Fix the linux specific include
This commit is contained in:
parent
1568ed2fe3
commit
1361d2cd30
@ -4,10 +4,6 @@
|
|||||||
|
|
||||||
import os
|
import os
|
||||||
import re
|
import re
|
||||||
try:
|
|
||||||
from distro import linux_distribution
|
|
||||||
except:
|
|
||||||
from platform import linux_distribution
|
|
||||||
|
|
||||||
package_test_preamble = ['\\newif\\ifsphinxKeepOldNames \\sphinxKeepOldNamestrue',
|
package_test_preamble = ['\\newif\\ifsphinxKeepOldNames \\sphinxKeepOldNamestrue',
|
||||||
'\documentclass[a4paper,11pt,english]{report}']
|
'\documentclass[a4paper,11pt,english]{report}']
|
||||||
@ -85,6 +81,10 @@ def tex_test(test):
|
|||||||
def host_name():
|
def host_name():
|
||||||
uname = os.uname()
|
uname = os.uname()
|
||||||
if uname[0] == 'Linux':
|
if uname[0] == 'Linux':
|
||||||
|
try:
|
||||||
|
from distro import linux_distribution
|
||||||
|
except:
|
||||||
|
from platform import linux_distribution
|
||||||
distro = linux_distribution()
|
distro = linux_distribution()
|
||||||
name = '%s/%s' % (uname[0], distro[0])
|
name = '%s/%s' % (uname[0], distro[0])
|
||||||
version = distro[1]
|
version = distro[1]
|
||||||
|
Loading…
x
Reference in New Issue
Block a user