diff options
| author | Holger Wansing <holgerw@debian.org> | 2017-08-17 16:26:13 +0000 |
|---|---|---|
| committer | Holger Wansing <holgerw@debian.org> | 2017-08-17 16:26:13 +0000 |
| commit | 3aa082a832ed636874995bf9e7bd25d0910c3365 (patch) | |
| tree | c9c9fdcb666affa76c3f15f0e41d1c855db672a4 /build/build.sh | |
| parent | f57b9f29fa41bfa96c57f85e9a0a86746ba30ec5 (diff) | |
| download | installation-guide-3aa082a832ed636874995bf9e7bd25d0910c3365.zip | |
Remove support for 'ps' format. Remove some dependencies accordingly.
Closes 871751.
Diffstat (limited to 'build/build.sh')
| -rwxr-xr-x | build/build.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/build/build.sh b/build/build.sh index fb79a7396..6b45db531 100755 --- a/build/build.sh +++ b/build/build.sh @@ -23,7 +23,6 @@ if [ -z "$destination" ]; then fi if [ -z "$formats" ]; then - #formats="html pdf ps txt" formats="html pdf txt" fi |