2021-05-09 06:17:55 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2021-07-20 02:34:36 +02:00
|
|
|
docs="$(dirname $(readlink -f $0))"
|
|
|
|
|
root="$(dirname ${docs})"
|
|
|
|
|
config="${docs}/config.ld"
|
2021-05-09 06:17:55 +02:00
|
|
|
|
2021-07-20 02:34:36 +02:00
|
|
|
cd "${root}"
|
2021-05-09 06:17:55 +02:00
|
|
|
|
|
|
|
|
# Clean old files
|
2021-07-20 02:34:36 +02:00
|
|
|
rm -rf "${docs}/reference"
|
2021-05-09 06:17:55 +02:00
|
|
|
|
|
|
|
|
# Create new files
|
2021-07-20 02:34:36 +02:00
|
|
|
ldoc -c "${config}" -d "${docs}/reference" "${root}"
|
