Project

General

Profile

Actions

Bug #3579

closed

The file tools/generate-map.sh to generate the documentation does not work with bash

Added by Vincent MEMBRÉ almost 11 years ago. Updated about 9 years ago.

Status:
Released
Priority:
3
Category:
Documentation
Target version:
Severity:
UX impact:
User visibility:
Effort required:
Priority:
Name check:
Fix check:
Regression:

Description

The tool we used to create the documentation is note working on every shell (working in dash, not in bash).

The usage of echo "filename \n" >> /tmp/content.txt is inserting '\n' in bash not a line break.

This line break is useless (echo makes one automatically, which leads to two line break) so we should remove it.

Actions

Also available in: Atom PDF