diff options
Diffstat (limited to 'resources/scripts/helpers/build/docs/dvi')
| -rwxr-xr-x | resources/scripts/helpers/build/docs/dvi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/docs/dvi b/resources/scripts/helpers/build/docs/dvi index 77ae590..479b9ce 100755 --- a/resources/scripts/helpers/build/docs/dvi +++ b/resources/scripts/helpers/build/docs/dvi @@ -3,7 +3,7 @@ # Libreboot documentation build script: dvi # -echo "@set librebootbase `pwd`" > docs/constants.texi +echo "@set docsdir ../" > docs/constants.texi basedir="docs/manual/" outfile="${basedir}libreboot.dvi" |