mirror of
https://github.com/Linux4Yourself/book.git
synced 2025-02-03 15:27:17 +08:00
5 lines
184 B
Plaintext
5 lines
184 B
Plaintext
mkdir -v build
|
|
cd build
|
|
../configure --prefix=/usr
|
|
makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi
|
|
makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi |